Changes in tests/concurrent/multi-monitor.cfa [3381ed7:107b01a]

File:

• tests/concurrent/multi-monitor.cfa (modified) (1 diff)

tests/concurrent/multi-monitor.cfa

@@ -11 +11 @@
 
 void increment( monitor_t & mutex p1, monitor_t & mutex p2, int & value ) {
-        assert(active_thread() == get_monitor(p1)->owner);
-        assert(active_thread() == get_monitor(p2)->owner);
         value += 1;
-        assert(active_thread() == get_monitor(p1)->owner);
-        assert(active_thread() == get_monitor(p2)->owner);
 }