update expect-test to work on 32-bit

ocaml-multicore · Jan 31, 2023 · 599a3a7 · 599a3a7
1 parent 28d1889
commit 599a3a7
Show file tree

Hide file tree

Showing 3 changed files with 31 additions and 0 deletions.
diff --git a/test/dune b/test/dune
@@ -15,6 +15,13 @@
  (preprocess (pps ppx_deriving.show ppx_deriving.eq))
  (action (run ./%{test} --verbose)))
 
+(rule
+ (enabled_if (= %{arch_sixtyfour} true))
+ (action (copy mutable_set_v5.expected.64 mutable_set_v5.expected)))
+
+(rule
+ (enabled_if (= %{arch_sixtyfour} false))
+ (action (copy mutable_set_v5.expected.32 mutable_set_v5.expected)))
 
 (test
  (name mutable_set_v5)

diff --git a/test/mutable_set_v5.expected.32 b/test/mutable_set_v5.expected.32
@@ -0,0 +1,24 @@
+[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 --------------------------------------------------------------------
+
+Test STM sequential tests failed (2 shrink steps):
+
+   (Add -942638288)
+   (Remove -942638288)
+   Cardinal
+
+
++++ [34;1mMessages[0m ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+
+Messages for test STM sequential tests:
+
+  Results incompatible with model
+
+   (Add -942638288) : ()
+   (Remove -942638288) : Some (-942638288)
+   Cardinal : 1
+================================================================================
+[31;1mfailure[0m (1 tests failed, 0 tests errored, ran 1 tests)

diff --git a/test/mutable_set_v5.expected → test/mutable_set_v5.expected.64 b/test/mutable_set_v5.expected → test/mutable_set_v5.expected.64