File tree Expand file tree Collapse file tree 1 file changed +12
-2
lines changed Expand file tree Collapse file tree 1 file changed +12
-2
lines changed Original file line number Diff line number Diff line change @@ -67,9 +67,14 @@ Installation instructions, and running the tests
67
67
The multicore test suite requires OCaml 5.x:
68
68
```
69
69
opam update
70
- opam switch create 5.0 .0
70
+ opam switch create 5.3 .0
71
71
```
72
72
73
+ It is designed to stress test OCaml 5's multicore features. As such, it requires
74
+ a multicore machine to run successfully and will fail on a single-CPU setup. We
75
+ recommend running the test suite with 3 or more (virtual) CPUs.
76
+
77
+
73
78
Installing the libraries
74
79
------------------------
75
80
@@ -110,6 +115,11 @@ dune build
110
115
dune runtest -j1 --no-buffer --display=quiet
111
116
```
112
117
118
+ As some of the tests are negative, e.g., confirming known domain unsafety by
119
+ finding a counterexample, we recommend running only one property-based test at a
120
+ time (` -j1 ` ) to prevent contention between the individual tests for CPU
121
+ resources.
122
+
113
123
Individual tests can be run by invoking ` dune exec ` . For example:
114
124
```
115
125
$ dune exec src/atomic/stm_tests.exe -- -v
@@ -830,4 +840,4 @@ let () = Task.teardown_pool pool
830
840
831
841
---
832
842
833
- This project has been created and is maintained by <a href =" https://tarides.com/ " >Tarides</a >.
843
+ This project has been created by <a href =" https://tarides.com/ " >Tarides</a >.
You can’t perform that action at this time.
0 commit comments