Displaying 1 result from an estimated 1 matches for "writecov".
2010 Apr 22
0
[LLVMdev] problem when building coreutil
...Dogfood/dg.exp ...
Running /home/zhangwen/llvm/klee/test/Expr/Lexer/dg.exp ...
Running /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....