Hi Bob,
Please follow up with this at https://github.com/klee/klee/pull/141,
where Dan also proposed some changes to get KLEE running with 3.5.
Best,
Cristian
On 07/11/14 04:11, Bob Kuo wrote:
Hello klee-dev,
I have successfully built Klee (master) off of Clang 3.5 on Ubuntu 14.10. The
required changes are pretty minimal:
bkuo@bkuo-VirtualBox:/work/bkuo/klee$ git diff -w | diffstat
ModuleUtil.cpp | 64
++++++++++++++++++++++++++-------------------------------
1 file changed, 30 insertions(+), 34 deletions(-)
Would you like me to submit this patch? If so, is a GitHub pull request the
preferred method?
I ran the test suite:
Expected Passes : 131
Expected Failures : 2
Unsupported Tests : 1
Unexpected Failures: 20
I need to dig deeper into the failures, but some of them are run-time link
errors:
KLEE: ERROR: Link with library
/work/bkuo/klee/build/Release+Asserts/lib/klee-uclibc.bca failed: No such file
or directory
Which is certainly my fault. At least one of them threw an assertion. I can
provide more details if people are interested.
Bob
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
