[klee-dev] building Klee with Clang 3.5

[Cristian Cadar]

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 at 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>