Increment count for STM int64 ref test with Thread

ocaml-multicore / multicoretests

PBT testsuite and libraries for testing multicore OCaml

BSD 2-Clause "Simplified" License

37 stars 16 forks source link

Closed jmid closed 4 months ago

jmid commented 4 months ago

This failed to trigger a counterexample on macos-arm64-5.2 within 2500 iterations on the merge of #454 to main.

jmid commented 4 months ago

CI summary

Cygwin trunk timed out during Lin.Internal CList int test with Thread after spending 1449.1s Lin Bytes test with Domain and 6330.6s Lin Hashtbl test with Domain

The latter seems rather excessive!

Out of 37 workflows with a borderline genuine issue / false alarm