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@keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list klee-dev@keeda.stanford.edu http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
