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 [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
