Home | History | Annotate | Download | only in tests

Lines Matching full:test13

830 // test13: FP. Synchronization via Mutex, then via LockWhen. {{{1
831 namespace test13 { 
871 //  ANNOTATE_EXPECT_RACE(&GLOB, "test13. FP. Fixed by MSMProp1.");
872   printf("test13: negative\n");
882 }  // namespace test13