[klee-dev] zesti now?

[Cristian Cadar]

Hi John,

Indeed, the current version of ZESTI is way out of sync with the 
mainline...  This is sadly the case with a lot of interesting extensions 
of KLEE, and it is particularly unfortunate for ZESTI, which has seen 
significant interest.  So in the short term, I would go with the 
tarball, but going forward, we should aim to integrate ZESTI into the 
mainline.  (Anyone interested in working on this, let me know.)

Best,
Cristian

On 18/12/15 17:15, John Regehr wrote:
> Hi folks,
>
> I have an existing test suite and a target library. I want to use Klee
> to hit branches not covered by the existing tests.  Sounds like Zesti
> should solve my problem!  But I'm a little leery about this ~3 year old
> tarball and am looking for some advice.  Should I just go with the
> tarball?  How hard would it be to get zesti-like behavior from a modern
> Klee?
>
> Thanks!
>
> John
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev