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