Merge pull request diffblue#2417 from tautschnig/vs-missing-arg

tautschnig · web-flow · commit ccfc4e01d2ee · 2018-06-25T10:03:30.000+01:00
goto-instrument/wmm: add missing argument
diff --git a/src/goto-instrument/wmm/weak_memory.cpp b/src/goto-instrument/wmm/weak_memory.cpp
@@ -155,7 +155,7 @@ void weak_memory(
     instrumenter.set_parameters_collection(input_max_var,
       input_max_po_trans, ignore_arrays);
   else
-    instrumenter.set_parameters_collection(max_thds, ignore_arrays);
+    instrumenter.set_parameters_collection(max_thds, 0, ignore_arrays);
 
   if(SCC)
   {

Original file line number	Diff line number	Diff line change
`@@ -155,7 +155,7 @@ void weak_memory(`
`155`	`155`	`instrumenter.set_parameters_collection(input_max_var,`
`156`	`156`	`input_max_po_trans, ignore_arrays);`
`157`	`157`	`else`
`158`		`- instrumenter.set_parameters_collection(max_thds, ignore_arrays);`
	`158`	`+ instrumenter.set_parameters_collection(max_thds, 0, ignore_arrays);`
`159`	`159`
`160`	`160`	`if(SCC)`
`161`	`161`	`{`