[klee-dev] terminateStateOnExit never called

[Md. Hasanur Rahman]

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
-------------- next part --------------
HTML attachment scrubbed and removed