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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
