[klee-dev] seeds functionality

[Paul Marinescu]

You can provide seeds with the --seed-out=<list of ktest files> and --seed-out-dir=<list of dirs containing ktest files> options. For more seed-related options see klee --help | grep seed

Paul

On 4 Aug 2011, at 00:28, Lu Zhao wrote:

> Does that means that I can save a tree that Klee executes in a session 
> and resume execution from that tree in next session? What are the APIs 
> that implement this? More specifically, how to provide a seed to Klee?
> 
> Hi Paul, I'm sorry if my previous email went out and reached your 
> mailbox. I cancelled the sending when I noticed that I didn't sent to 
> the list.
> 
> Thanks.
> Lu
> 
> On 07/13/2011 02:59 PM, Paul Marinescu wrote:
>> t (i.e., no seeds), KLEE starts with a tree that has only one node, the program entry point, and explores from there. A seed is essentially a tree that you can provide as the starting point for the explorat
> _______________________________________________
> klee-dev mailing list
> klee-dev at keeda.stanford.edu
> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev