When Klee fails (e.g., exit_code != 0), svm-node should still consume any test cases generated by Klee before failure.
This is actually causing major problems currently, as it's causing early convergence.
A fix to this may be to throw a custom exception. In exception_caught(), check the exception type. If it's from symbolic execution, consume the test cases and continue as before.
When Klee fails (e.g., exit_code != 0), svm-node should still consume any test cases generated by Klee before failure.
This is actually causing major problems currently, as it's causing early convergence.
A fix to this may be to throw a custom exception. In exception_caught(), check the exception type. If it's from symbolic execution, consume the test cases and continue as before.