Lines Matching refs:test32
1478 usleep(48000); // TODO: remove this when FP in test32 is fixed.
1615 // test32: FP. Synchronization via thread create/join. W/R. {{{1
1616 namespace test32 {
1666 // ANNOTATE_EXPECT_RACE(&GLOB, "test32. FP. Fixed by MSMProp1.");
1667 printf("test32: negative\n");
1673 } // namespace test32
1963 usleep(48000); // TODO: remove this when FP in test32 is fixed.
2069 usleep(48000); // TODO: remove this when FP in test32 is fixed.
2296 // due to its false positive (test32).
