[klee-dev] can't replay a test case

[Dingbao Xie]

Dear list,
I tried to run klee on coreutils and encountered a problem.
I replayed a test case produced by klee on 'du' but failed to
get the same behavior as klee executed it.

 klee-replay gave a warning "warning: check_file A: nlink mismatch: 2 vs
0",
but I don't know what it means.

Attached is the test case I want to replay.
Any help is appreciated.


-- 
Dingbao Xie
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test000024.ktest
Type: application/octet-stream
Size: 1779 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20141203/faa2bcb4/attachment.obj>