[klee-dev] Replay ktestfile directory

[Awanish Pandey]

Hi,

I run klee over the coreutils using the command mentioned in coreutils
experiments. When I replay the using

-replay-ktest-dir="---" it is giving warning "KLEE: WARNING ONCE: replay
did not consume all objects in test input.
"
Out of 156 test cases in ptx replay was able to run only 6 test cases. What
is the problem or I am doing something wrong

-- 
Thanking You
Awanish Pandey
PhD, CSE
IIT Kanpur
-------------- next part --------------
HTML attachment scrubbed and removed