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