Re: [klee-dev] Status of KATCH

2018-09-26 Thread Xiao Liang Yu
Hello Cristian, Does not integrated into mainline mean that it's discontinued? Thanks Xiao Liang On Wed, 26 Sep 2018, 8:07 PM Cristian Cadar, wrote: > 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

Re: [klee-dev] Status of KATCH

2018-09-26 Thread 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?