[klee-dev] Status of KATCH

[Cristian Cadar]

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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>