Enable Bigarray STM test in favor of the Lin variant

jmid · jmid · commit 4713ced3778a · 2024-04-17T15:51:33.000+02:00
diff --git a/src/bigarray/dune b/src/bigarray/dune
@@ -5,8 +5,7 @@
  (modules stm_tests)
  (package multicoretests)
  (libraries qcheck-stm.sequential qcheck-stm.domain)
- ; (action (run %{test} --verbose))
- (action (echo "Skipping src/bigarray/%{test} from the test suite\n\n"))
+ (action (run %{test} --verbose))
 )
 
 (test
diff --git a/src/bigarray/lin_tests.ml b/src/bigarray/lin_tests.ml
@@ -29,6 +29,5 @@ module BA1T = Lin_domain.Make(BA1Conf)
 
 let _ =
   QCheck_base_runner.run_tests_main [
-    BA1T.neg_lin_test ~count:5000 ~name:"Lin Bigarray.Array1 (of ints) test with Domain";
     BA1T.stress_test  ~count:1000 ~name:"Lin Bigarray.Array1 stress test with Domain";
   ]

Original file line number	Diff line number	Diff line change
`@@ -5,8 +5,7 @@`
`5`	`5`	`(modules stm_tests)`
`6`	`6`	`(package multicoretests)`
`7`	`7`	`(libraries qcheck-stm.sequential qcheck-stm.domain)`
`8`		`- ; (action (run %{test} --verbose))`
`9`		`- (action (echo "Skipping src/bigarray/%{test} from the test suite\n\n"))`
	`8`	`+ (action (run %{test} --verbose))`
`10`	`9`	`)`
`11`	`10`
`12`	`11`	`(test`
Original file line number	Diff line number	Diff line change
`@@ -29,6 +29,5 @@ module BA1T = Lin_domain.Make(BA1Conf)`
`29`	`29`
`30`	`30`	`let _ =`
`31`	`31`	`QCheck_base_runner.run_tests_main [`
`32`		`- BA1T.neg_lin_test ~count:5000 ~name:"Lin Bigarray.Array1 (of ints) test with Domain";`
`33`	`32`	`BA1T.stress_test ~count:1000 ~name:"Lin Bigarray.Array1 stress test with Domain";`
`34`	`33`	`]`