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@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
