Hi Sang,
KATCH was unfortunately not integrated into the mainline, but you should
still be able to build it using LLVM 2.9 if you'd like to give it a try.
Best,
Cristian
On 21/09/18 18:47, Sang Phan wrote:
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
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev