On Tue, Jun 25, 2013 at 05:35:34PM +0100, Paul Marinescu wrote: > Hello Anton, > From your emails, it doesn't seem that ZESTI is what you're looking > for. [...]
But what is the purpose of klee_patch_begin/_end in ZESTI? Best regards, Jonathan Neuschäfer _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
