Lines Matching defs:test12
780 // test12: FP. Synchronization via Mutex, then via PCQ. {{{1
781 namespace test12 {
817 // ANNOTATE_EXPECT_RACE(&GLOB, "test12. FP. Fixed by MSMProp1.");
818 printf("test12: negative\n");
825 } // namespace test12
831 // This test is essentially the same as test12, but uses LockWhen
