Hi Awanish, this might be a bug, but we'd need more info. Can you open
a bug report/issue on GitHub with steps to reproduce this?
Best,
Cristian
On 01/04/18 17:01, Awanish Pandey wrote:
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
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
