Hi, When an execution path finishes with normal exit, is it supposed to call terminateStateOnExit? It seems it had never been called.
The benchmark I am using is doing exit once (because it is printing something that this benchmark is supposed to do) and I want to know this particular test case from KLEE. How can I know this? - Thanks
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
