Adapt test 04/59 to test something meaningful

michael-schwarz · michael-schwarz · commit 41a66ac7ad74 · 2021-12-02T13:30:49.000+01:00
diff --git a/tests/regression/04-mutex/59-testfive-intervals.c b/tests/regression/04-mutex/59-testfive-intervals.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.int.interval
+// PARAM: --enable ana.int.interval --set exp.privatization mutex-meet --set exp.solver.td3.side_widen sides-pp
 #include <pthread.h>
 #include <stdio.h>
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// PARAM: --enable ana.int.interval`
	`1`	`+// PARAM: --enable ana.int.interval --set exp.privatization mutex-meet --set exp.solver.td3.side_widen sides-pp`
`2`	`2`	`#include <pthread.h>`
`3`	`3`	`#include <stdio.h>`
`4`	`4`