Displaying 1 result from an estimated 1 matches for "evaluate2".
Did you mean:
evaluate
2010 Apr 22
0
[LLVMdev] problem when building coreutil
...n/dg.exp ...
=== Summary ===
# of expected passes 102
# of unexpected failures 2
# of unexpected successes 2
# of expected failures 1
FAIL: /home/zhangwen/llvm/klee/test/CXX/StaticDestructor.cpp
XFAIL: /home/zhangwen/llvm/klee/test/Expr/Evaluate2.pc
FAIL: /home/zhangwen/llvm/klee/test/Feature/WriteCov.c
make[1]: *** [check-local] Error 1
make[1]: Leaving directory `/home/zhangwen/llvm/klee/test'
make: *** [check] Error 2
Do someone have any idea about that?
Thanks.
Best,
--Wenbin
-------------- next part --------------
A...