[klee-dev] [klee] [zesti] ZESTI Coreutils Experiments

[Paul Marinescu]

The idea with klee_patch_begin/end was to allow developers to annotate code blocks inside the program (originally patches) which they want to be more thoroughly tested by ZESTI. We didn't pursue it much further because it's a bit cumbersome from the developer's perspective. KATCH instead, pulls this information from the version control system. We never got to port this functionality back to ZESTI though.

Paul

On 25 Jun 2013, at 18:00, Jonathan Neuschäfer <j.neuschaefer at gmx.net> wrote:

> 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