mirror of
https://github.com/angr/angr
synced 2026-08-17 12:23:11 -04:00
f9c21658cc
CPython does not guarantee that __del__ runs at interpreter shutdown, so RuntimeDb.cleanup() could be skipped, leaving *_angr_rtdb directories on disk. This PR introducts an atexit hook that cleans up all live RuntimeDb instances.
1 line
35 B
Python
1 line
35 B
Python
from __future__ import annotations
|