Hi everyone, May I ask what is the status of KATCH? https://srg.doc.ic.ac.uk/projects/katch/
LLVM 2.9 is no longer supported, what is the latest version of LLVM that it can be built? (and also versions of other required packages) Thanks, Sang
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev