Closed jmid closed 6 months ago
The two 32-bit runs are failing since size_in_bytes
return 4b * 16 = 64b and breaks with the 8b word assumption hardcoded in the mode. I guess #250 predates us testing 32-bit... :shrug:
On macOS 5.2 and MSVC bytecode the parallel STM Bigarray
tests failed to trigger a counterexample within 1000 iterations. The old Lin test had a count of 5000 for this reason.
CI summary for 4713ced:
size_in_bytes
model mismatchsize_in_bytes
model mismatchSTM Bigarray
counterexample within 1000 iterations.Lin Dynlink stress test with Domain
#307Lin Dynlink stress test with Domain
#307Lin Dynlink stress test with Domain
#307STM Bigarray
counterexample within 1000 iterations.Rebased on main
after the merge of #453 to remove noise.
CI summary:
negative Lin Dynlink test with Domain
#307This one was missed in #453 - #454 addresses the omission
Out of 37 workflows 1 failed with a genuine issue
CI summary for merge to main
:
negative Lin Dynlink test with Domain
#307Out of 38 workflows 1 failed with a genuine issue
This PR reenables the
Bigarray
STM
tests, the idea being that a model-basedSTM
test is stricter than aLin
one.A bit of background:
Lin
tests ofBigarray
were added in #121STM
tests ofBigarray
were added in #125STM
Bigarray
tests were disabled in #250 (by mistake AFAICS)Bigarray
using theLin
spec #443