[klee-dev] How to backtrace a path

[jingde liu]

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.

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