Lines Matching full:test31
1556 // test31: TN. Synchronization via 'safe' race. Writer vs Writer. {{{1
1557 namespace test31 {
1600 ANNOTATE_EXPECT_RACE((void*)(&BOUNDARY), "test31. Sync via 'safe' race.");
1601 printf("test31: negative\n");
1608 } // namespace test31
