Searched refs:lockFail (Results 1 – 1 of 1) sorted by relevance
428 ProgramStateRef lockFail; in AcquireLockAux() local431 std::tie(lockFail, lockSucc) = state->assume(*DefinedRetVal); in AcquireLockAux()434 std::tie(lockSucc, lockFail) = state->assume(*DefinedRetVal); in AcquireLockAux()439 assert(lockFail && lockSucc); in AcquireLockAux()440 C.addTransition(lockFail); in AcquireLockAux()