Closed mchalupa closed 9 years ago
when klee is running the directory is not removed
Should be fixed by c214505ba8. If not, reopen.
when klee is running the directory is not removed