Searched refs:unlock_called (Results 1 – 2 of 2) sorted by relevance
24 bool unlock_called = false; variable29 void unlock_shared() {unlock_called = true;} in unlock_shared()38 assert(unlock_called == true); in main()
23 bool unlock_called = false; variable28 void unlock() {unlock_called = true;} in unlock()37 assert(unlock_called == true); in main()