[klee-dev] seeds functionality
paul.marinescu at imperial.ac.uk
Wed Aug 3 16:37:55 PDT 2011
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
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.
> 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
More information about the klee-dev