Lines Matching full:test12
782 // test12: FP. Synchronization via Mutex, then via PCQ. {{{1
783 namespace test12 {
819 // ANNOTATE_EXPECT_RACE(&GLOB, "test12. FP. Fixed by MSMProp1.");
820 printf("test12: negative\n");
827 } // namespace test12
833 // This test is essentially the same as test12, but uses LockWhen
