mmap test failed with "[invalid] Random.int"
Failure of Mmap
for 32bit arch.
https://gitlab.com/dailambda/plebeia/-/jobs/1158326990 :
This run has ID `55061105-B2DC-4806-BB94-2C8AA867F679'.
> [FAIL] mmap 0 test_get_buffer.
┌──────────────────────────────────────────────────────────────────────────────┐
│ [FAIL] mmap 0 test_get_buffer. │
└──────────────────────────────────────────────────────────────────────────────┘
Failed with seed: Random.State.make [| 1003741606 |]
[invalid] Random.int
How to reproduce:
$ PLEBEIA_TEST_SEED=1003741606 dune exec ./mmap32.exe
Entering directory '/Users/jun/.share/plebeia'
Entering directory '/Users/jun/.share/plebeia'
Testing `mmap32'.
This run has ID `FF601BE3-D610-465C-B957-06296C77E371'.
> [FAIL] mmap32 0 test_get_buffer.
┌──────────────────────────────────────────────────────────────────────────────┐
│ [FAIL] mmap32 0 test_get_buffer. │
└──────────────────────────────────────────────────────────────────────────────┘
PLEBEIA_TEST_SEED=1003741606
Failed with seed: Random.State.make [| 1003741606 |]
[invalid] Random.int
Raised at file "stdlib.ml", line 30, characters 20-45
Called from file "tests/mmap32.ml", line 26, characters 12-52
Called from file "tests/mmap32.ml", line 52, characters 22-42
Called from file "tests/lib/test_utils.ml", line 125, characters 4-7
Re-raised at file "tests/lib/test_utils.ml", line 127, characters 18-27
Called from file "src/alcotest-engine/core.ml", line 269, characters 17-23
Called from file "src/alcotest-engine/monad.ml", line 34, characters 31-35
Edited by Jun Furuse