Hi all, In KLEE, markBranchVisited is called whenever a branch is visited through fork/branch. My question is that can we say this branch is definitely reachable if it ever has been marked as visited?
Thanks, Chaoqiang
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
