Displaying 1 result from an estimated 1 matches for "test000002".
Did you mean:
test00002
2010 Apr 22
0
[LLVMdev] problem when building coreutil
...g /home/zhangwen/llvm/klee/test/Expr/Parser/dg.exp ...
Running /home/zhangwen/llvm/klee/test/Expr/dg.exp ...
Running /home/zhangwen/llvm/klee/test/Feature/dg.exp ...
FAIL: /home/zhangwen/llvm/klee/test/Feature/WriteCov.c
Failed with exit(1) at line 3
while running: grep WriteCov.c:10 klee-last/test000002.cov
child process exited abnormally
Running /home/zhangwen/llvm/klee/test/Programs/dg.exp ...
XPASS: /home/zhangwen/llvm/klee/test/Programs/pcregrep.c
Running /home/zhangwen/llvm/klee/test/Runtime/POSIX/dg.exp ...
XPASS: /home/zhangwen/llvm/klee/test/Runtime/POSIX/SELinux.c
Running /home/zhan...