mirror of
https://github.com/angr/angr
synced 2026-08-17 12:23:11 -04:00
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. |
||
|---|---|---|
| .. | ||
| __init__.py | ||
| test_rtdb_cleanup.py | ||