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

_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to