summaryrefslogtreecommitdiff
path: root/testsuite/tests/memory-model/opt.ml
Commit message (Expand)AuthorAgeFilesLines
* Scale down memory-model/ tests if <= 2 cores are availableXavier Leroy2022-07-061-2/+4
* Fixing typosJPR2022-03-211-1/+1
* tests/memory-model: use OCAML_TEST_SIZE to scale the default number of coresXavier Leroy2022-02-211-1/+9
* Memory model tests (#11004)Luc Maranget2022-02-181-0/+41