[klee-dev] Replay ktestfile directory

[Cristian Cadar]

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