[klee-dev] Connection between CFG and execution state

[Adarsh Sudheer]

Hi all,

Is there any parameter in the Execution state that links the CFG to the
ExecutionSt ate. To be particular, I want to access all ExecutionState
nodes generated from a CFG?

With Regards
Adarsh Sudheer
-------------- next part --------------
HTML attachment scrubbed and removed