Lines Matching full:test11
730 // test11: FP. Synchronization via CondVar, 2 workers. {{{1742 namespace test11 {773 // ANNOTATE_EXPECT_RACE(&GLOB, "test11. FP. Fixed by MSMProp1.");774 printf("test11: negative\n");779 } // namespace test11891 // This test is similar to test11, but uses PCQ (semaphore).