[klee-dev] terminateStateOnExit never called

[Frank Busse]

Hi,


On Tue, 26 Jan 2021 21:23:29 +0600
"Md. Hasanur Rahman" <rahman.md.hasanur7 at gmail.com> wrote:

> When an execution path finishes with normal exit, is it supposed to
> call terminateStateOnExit? It seems it had never been called.

Yes.

If a test case is missing, there could be several reasons. Off the top
of my head:
1. you're using "--only-output-states-covering-new" and the path didn't
   cover new code
2. the path reaches an error that was already reported (you need
   --emit-all-errors)
3. the path hasn't finished yet or KLEE was interrupted
   (--dump-states-on-halt disabled or KLEE killed)

> I want to know this particular test case from KLEE

In case you have a bunch of ktest files you can replay them one by one
and look for the desired output (--replay-ktest-file=path/file.ktest
--only-replay-seeds).


Kind regards,

Frank