Lines Matching defs:test12
486 // test12: FP. Synchronization via Mutex, then via PCQ. {{{1
487 namespace test12 {
523 // ANNOTATE_EXPECT_RACE(&GLOB, "test12. FP. Fixed by MSMProp1.");
524 printf("test12: negative\n");
531 } // namespace test12
537 // This test is essentially the same as test12, but uses LockWhen
