pushedExecution, pushedChoice, currRWSet, visited);
}
// Remove the transition after being explored
- visited.remove(confTrans);
+ // TODO: Seems to cause a lot of loops---commented out for now
+ //visited.remove(confTrans);
}
// --- Functions related to the reachability analysis when there is a state match