Hi,
On Tue, 26 Jan 2021 21:23:29 +0600 "Md. Hasanur Rahman" <[email protected]> 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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
