Lines Matching refs:test32
1472 usleep(48000); // TODO: remove this when FP in test32 is fixed.
1609 // test32: FP. Synchronization via thread create/join. W/R. {{{1
1610 namespace test32 {
1660 // ANNOTATE_EXPECT_RACE(&GLOB, "test32. FP. Fixed by MSMProp1.");
1661 printf("test32: negative\n");
1667 } // namespace test32
1957 usleep(48000); // TODO: remove this when FP in test32 is fixed.
2063 usleep(48000); // TODO: remove this when FP in test32 is fixed.
2290 // due to its false positive (test32).
