Bump asym count to account for sensitive GA runners

jmid · jmid · commit a3a67a79191f · 2023-07-14T17:28:37.000+02:00
diff --git a/src/neg_tests/stm_tests_domain_ref_asym.ml b/src/neg_tests/stm_tests_domain_ref_asym.ml
@@ -4,6 +4,6 @@ module RT_int   = STM_domain.Make(RConf_int)
 module RT_int64 = STM_domain.Make(RConf_int64)
 ;;
 QCheck_base_runner.run_tests_main
-  [RT_int.neg_agree_test_par_asym   ~count:2000 ~name:"STM int ref test parallel asymmetric";
-   RT_int64.neg_agree_test_par_asym ~count:2000 ~name:"STM int64 ref test parallel asymmetric";
+  [RT_int.neg_agree_test_par_asym   ~count:5000 ~name:"STM int ref test parallel asymmetric";
+   RT_int64.neg_agree_test_par_asym ~count:5000 ~name:"STM int64 ref test parallel asymmetric";
   ]

Original file line number	Diff line number	Diff line change
`@@ -4,6 +4,6 @@ module RT_int = STM_domain.Make(RConf_int)`
`4`	`4`	`module RT_int64 = STM_domain.Make(RConf_int64)`
`5`	`5`	`;;`
`6`	`6`	`QCheck_base_runner.run_tests_main`
`7`		`- [RT_int.neg_agree_test_par_asym ~count:2000 ~name:"STM int ref test parallel asymmetric";`
`8`		`- RT_int64.neg_agree_test_par_asym ~count:2000 ~name:"STM int64 ref test parallel asymmetric";`
	`7`	`+ [RT_int.neg_agree_test_par_asym ~count:5000 ~name:"STM int ref test parallel asymmetric";`
	`8`	`+ RT_int64.neg_agree_test_par_asym ~count:5000 ~name:"STM int64 ref test parallel asymmetric";`
`9`	`9`	`]`