Hello Ayrat If you think of the program executions that KLEE explores as a tree, by default (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 exploration (more exactly a seed is a path but you can use multiple seeds to create a tree).
Paul On 12 Jul 2011, at 10:50, Ayrat Khalimov wrote: > Hello guys, > What is the idea behind seeds - could you give a use case? > > > Thanks! > Ayrat > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
