reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
406 if (State->get<InvariantViolated>()) 424 if (checkParamsForPreconditionViolation(Params, State, LocCtxt) || 425 checkSelfIvarsForInvariantViolation(State, LocCtxt)) { 427 C.addTransition(State->set<InvariantViolated>(true), N);