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
