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 -------------- next part -------------- HTML attachment scrubbed and removed