I followed
http://klee.llvm.org/GetStarted.html
To compile KLEE (r85080) on my AMD64 laptop with gcc4.4 (Ubuntu 9.10) I had to
apply a small patch (attached). (Even with that there are many warnings about
the deprecated ext/hash_set.)
Then
make check
resulted in many failures (>70). Is that normal or something went wrong on my
part?
regards,
radu
-------------- next part --------------
A non-text attachment was scrubbed...
Name: inttypes.patch
Type: text/x-patch
Size: 1665 bytes
Desc: not available
Url :
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20091225/cf94914a/attachment.bin
