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
test000024.ktest
Description: Binary data
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
