Changes in benchmark/mutex/cfa4.cfa [2316525:b4107c8]

File:

• benchmark/mutex/cfa4.cfa (modified) (1 diff)

benchmark/mutex/cfa4.cfa

@@ -5 +5 @@
 
 
-monitor M {} m1, m2, m3, m4;
-void __attribute__((noinline)) call( M & mutex p1, M & mutex p2, M & mutex p3, M & mutex p4 ) {}
+monitor M {};
+void __attribute__((noinline)) call( M & mutex m1, M & mutex m2, M & mutex m3, M & mutex m4 ) {}
 
 int main( int argc, char * argv[] ) {
         BENCH_START()
+        M m1, m2, m3, m4;
         BENCH(
-                for ( times ) {
+                for ( i; times ) {
                         call( m1, m2, m3, m4 );
                 },