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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
