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
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