[klee-dev] zesti now?

[John Regehr]

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