We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7f5da71 commit 37b2dc2Copy full SHA for 37b2dc2
src/README.md
@@ -1,5 +1,5 @@
1
-Current (experimental) PBTs of multicore
2
-========================================
+Current PBTs of OCaml 5
+=======================
3
4
Tests utilizing the parallel STM.ml capability:
5
0 commit comments