[klee-dev] klee with llvm-3.6?

Heiko heiko at hexco.de
Wed Apr 1 18:29:18 BST 2015

Next message: [klee-dev] "ERROR: object sizes differ" when using --posix-runtime
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

could you send your patches for making klee work with llvm-3.6?

I can compile klee with llvm-3.6, but cannot pass the regression tests. 
So something went wrong...

Thanks, Heiko Eißfeldt

Next message: [klee-dev] "ERROR: object sizes differ" when using --posix-runtime
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the klee-dev mailing list