Lines Matching refs:test32
1474 usleep(48000); // TODO: remove this when FP in test32 is fixed.
1611 // test32: FP. Synchronization via thread create/join. W/R. {{{1
1612 namespace test32 {
1662 // ANNOTATE_EXPECT_RACE(&GLOB, "test32. FP. Fixed by MSMProp1.");
1663 printf("test32: negative\n");
1669 } // namespace test32
1959 usleep(48000); // TODO: remove this when FP in test32 is fixed.
2065 usleep(48000); // TODO: remove this when FP in test32 is fixed.
2292 // due to its false positive (test32).
