search

staticafi / satt

Static analysis tools tester
2 stars 1 forks source link

Symbiotic: temporary directory is not removed when runme is killed #1

Closed mchalupa closed 8 years ago

mchalupa commented 9 years ago

Leaking temporary directories is messing the filesystem.

Solution: move creating and deleting of temporary directory to run_benchmark script

mchalupa commented 9 years ago

Fixed in ced1fde along with #2

mchalupa commented 9 years ago

It is leaking again, not only when klee is killed.

mchalupa commented 9 years ago

658c8598cb41 partially fixes this, but it looks it does not work as it should

mchalupa commented 9 years ago

Now the directory is not removed when satt is stopped by Ctrl+^C (and also when it takes too much time to kill klee)

mchalupa commented 8 years ago

should not be problem with the new script, reopen if needed