Heros Solver remains blocked after OutOfMemoryError
malaverdiere opened this issue · comments
When running larger test cases and hitting OutOfMemoryError, Heros remains blocked. So the memory is still used and the program doesn't terminate.
IFDS/IDE Solver for Soot and other frameworks
malaverdiere opened this issue · comments
When running larger test cases and hitting OutOfMemoryError, Heros remains blocked. So the memory is still used and the program doesn't terminate.