Merge pull request #415 from ocaml-multicore/strengthen-mutable-set-test

Strengthen mutable_set_v5 expect test against timing differences
ocaml-multicore · Nov 22, 2023 · a9ff236 · a9ff236
2 parents d6ebdaf + 73d172c
commit a9ff236
Show file tree

Hide file tree

Showing 6 changed files with 3 additions and 10 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,7 +2,8 @@
 
 ## Next
 
-- ...
+- #415: Remove `--verbose` in internal `mutable_set_v5` expect test to avoid
+  a test failure on a slow machine
 
 ## 0.3
 

diff --git a/test/dune b/test/dune
@@ -91,7 +91,7 @@
  (package qcheck-stm)
  (libraries qcheck-stm.sequential threads.posix)
  (action
-  (with-accepted-exit-codes 1 (run ./%{test} --verbose --seed 229109553))))
+  (with-accepted-exit-codes 1 (run ./%{test} --seed 229109553))))
 
 (test
  (name stm_next_state_exc)

diff --git a/test/mutable_set_v4.expected.32 b/test/mutable_set_v4.expected.32
@@ -1,6 +1,4 @@
 [2Krandom seed: 229109553
-generated error fail pass / total     time test name
-[2K[ ]    0    0    0    0 /  100     0.0s STM sequential tests[2K[ ]    0    0    0    0 /  100     0.0s STM sequential tests (generating)[2K[[31;1m✗[0m]    2    0    1    1 /  100     0.0s STM sequential tests
 
 --- [31;1mFailure[0m --------------------------------------------------------------------
 

diff --git a/test/mutable_set_v4.expected.64 b/test/mutable_set_v4.expected.64
@@ -1,6 +1,4 @@
 [2Krandom seed: 229109553
-generated error fail pass / total     time test name
-[2K[ ]    0    0    0    0 /  100     0.0s STM sequential tests[2K[ ]    0    0    0    0 /  100     0.0s STM sequential tests (generating)[2K[[31;1m✗[0m]    2    0    1    1 /  100     0.0s STM sequential tests
 
 --- [31;1mFailure[0m --------------------------------------------------------------------
 

diff --git a/test/mutable_set_v5.expected.32 b/test/mutable_set_v5.expected.32
@@ -1,6 +1,4 @@
 [2Krandom seed: 229109553
-generated error fail pass / total     time test name
-[2K[ ]    0    0    0    0 /  100     0.0s STM sequential tests[2K[ ]    0    0    0    0 /  100     0.0s STM sequential tests (generating)[2K[[31;1m✗[0m]    2    0    1    1 /  100     0.0s STM sequential tests
 
 --- [31;1mFailure[0m --------------------------------------------------------------------
 

diff --git a/test/mutable_set_v5.expected.64 b/test/mutable_set_v5.expected.64
@@ -1,6 +1,4 @@
 [2Krandom seed: 229109553
-generated error fail pass / total     time test name
-[2K[ ]    0    0    0    0 /  100     0.0s STM sequential tests[2K[ ]    0    0    0    0 /  100     0.0s STM sequential tests (generating)[2K[[31;1m✗[0m]    2    0    1    1 /  100     0.0s STM sequential tests
 
 --- [31;1mFailure[0m --------------------------------------------------------------------