Hi Sean, this is a KLEE bug. Please open an issue on GitHub, and I'll
try to fix it soon.
Thanks,
Cristian
On 12/12/16 17:48, Sean Heelan wrote:
Hi all,
When trying to use klee-replay to replay a test case I'm getting the
following errors:
$
Hi all,
When trying to use klee-replay to replay a test case I'm getting the
following errors:
$ ./Documents/git/klee/Release+Asserts/bin/klee-replay ./target
klee-out-0/test44.ktest
./Documents/git/klee/Release+Asserts/bin/klee-replay: TEST CASE:
klee-out-0/test44.ktest
