[klee-dev] seeds functionality

[Lu Zhao]

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