Searched refs:lockSucc (Results 1 – 1 of 1) sorted by relevance
425 ProgramStateRef lockSucc = state; in AcquireLockAux() local433 std::tie(lockFail, lockSucc) = state->assume(*DefinedRetVal); in AcquireLockAux()436 std::tie(lockSucc, lockFail) = state->assume(*DefinedRetVal); in AcquireLockAux()441 assert(lockFail && lockSucc); in AcquireLockAux()452 lockSucc = state->assume(*DefinedRetVal, false); in AcquireLockAux()453 assert(lockSucc); in AcquireLockAux()460 lockSucc = state; in AcquireLockAux()464 lockSucc = lockSucc->add<LockSet>(lockR); in AcquireLockAux()465 lockSucc = lockSucc->set<LockMap>(lockR, LockState::getLocked()); in AcquireLockAux()466 C.addTransition(lockSucc); in AcquireLockAux()