Searched refs:OriginalState (Results 1 – 1 of 1) sorted by relevance
461 ProgramStateRef OriginalState = N->getState(); in reportBugIfInvariantHolds() local463 if (checkInvariantViolation(OriginalState, N, C)) in reportBugIfInvariantHolds()466 OriginalState = OriginalState->set<InvariantViolated>(true); in reportBugIfInvariantHolds()467 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()