Hi everyone, I have two questions:
1) The first one is about state backtracking in KLEE. I want to backtrace the current state to "n" steps before instead of the last step. How should I do it? 2) The second one is about path condition. I want to know the constraint of each step in the current path. How should I get this information from the current data structure? Any help is truly appreciated. Thank you very much.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
