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
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev