[klee-dev] Resuming Klee

[Wajih Ul Hassan]

​Hi guys,
I am using Klee in my course project and what I would like to do is to
resume Klee if the Klee was stopped earlier while exploring a program. I
need store states on to disk while exploring a program so that if I stop
the klee and then try to resume klee on the same program Klee it would pick
up exploration from the same point where it was stopped.
Can anybody tell me how can I do this in klee and what things I need to
store during exploration.

​Thanks​

-Wajih
-------------- next part --------------
HTML attachment scrubbed and removed