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.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
