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
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
