Lines Matching refs:test31
1560 // test31: TN. Synchronization via 'safe' race. Writer vs Writer. {{{1
1561 namespace test31 {
1604 ANNOTATE_EXPECT_RACE((void*)(&BOUNDARY), "test31. Sync via 'safe' race.");
1605 printf("test31: negative\n");
1612 } // namespace test31
