[klee-dev] Replay intra-procedural paths

[Srijan R Shetty]

Hi,

I was wondering if there was a way that '--replayPath' could reply an
intra-procedural path. For example I just want to specify the branch
conditions for a function and not the function calls and klee could trace
the branches in the functions without caring for the path taken inside
functions calls.

Regards,
Srijan R. Shetty.
-------------- next part --------------
HTML attachment scrubbed and removed