Wicket startGuarantee: waitFor()
popFrameCls (Thread[Tested Thread,5,MainThreadGroup]): inside activeMethod()
Wicket startGuarantee: unlock()
Wicket allThreadsStoppedGuarantee: unlock()
Wicket allThreadsStoppedGuarantee: waitFor()
objWaiter(Thread[Thread-2,5,MainThreadGroup]): waiting for a lockObj[1]'s monitor; testedStep=0
Wicket allThreadsStoppedGuarantee: unlock()
objWaiter(Thread[Thread-1,5,MainThreadGroup]): waiting for a lockObj[0]'s monitor; testedStep=0
Wicket allThreadsStoppedGuarantee: unlock()
Passed barrier in main thread
State transition: testedStep: 0->1
Going to pop the frame...
State transition: testedStep: 1->2
Check PASSED: objWaiter(Thread[Thread-2,5,MainThreadGroup]): enter the lockObj[1]'s monitor
objWaiter (Thread[Thread-2,5,MainThreadGroup]): exiting...
TEST FAILED: Lock acquired by a popped frame wasn't released
when the frame had been popped
popFrameCls (Thread[Tested Thread,5,MainThreadGroup]): enter activeMethod() after popping
Wicket finishGuarantee: waitFor()
State transition: testedStep: 2->3
Wicket finishGuarantee: unlock()
popFrameCls (Thread[Tested Thread,5,MainThreadGroup]): leaving activeMethod()
Check PASSED: objWaiter(Thread[Thread-1,5,MainThreadGroup]): enter the lockObj[0]'s monitor
objWaiter (Thread[Thread-1,5,MainThreadGroup]): exiting...
popFrameCls (Thread[Tested Thread,5,MainThreadGroup]): exiting...