[klee-dev] Status of KATCH

Sang Phan phanquocsang at gmail.com
Fri Sep 21 18:47:20 BST 2018


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
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the klee-dev mailing list