From 88a765effcdb2967e4af49fb066d33811bf9b427 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 19 Mar 2024 18:13:00 +0100 Subject: [PATCH] Add stress tests to src/README.md overview --- src/README.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/README.md b/src/README.md index 5970f3b5..bbd43bef 100644 --- a/src/README.md +++ b/src/README.md @@ -45,7 +45,7 @@ Tests utilizing the parallel STM.ml capability: -Tests utilizing the linearization tests of Lin.ml: +Tests utilizing `Lin`: - [array/lin_internal_tests.ml](array/lin_internal_tests.ml) and [array/lin_tests.ml](array/lin_tests.ml) contain experimental `Lin.Internal` and `Lin`-tests of `Array` @@ -61,6 +61,8 @@ Tests utilizing the linearization tests of Lin.ml: - [dynlink/lin_tests.ml](dynlink/lin_tests.ml) contains experimental `Lin`-tests of `Dynlink` + - [ephemeron/lin_tests.ml](ephemeron/lin_tests.ml) contains experimental `Lin`-stress tests of `Ephemeron` + - [floatarray/lin_tests.ml](floatarray/lin_tests.ml) contains experimental `Lin`-tests of `Float.Array` - [hashtbl/lin_internal_tests.ml](hashtbl/lin_internal_tests.ml) and [hashtbl/lin_tests.ml](hashtbl/lin_tests.ml) @@ -80,6 +82,10 @@ Tests utilizing the linearization tests of Lin.ml: - [stack/lin_internal_tests.ml](stack/lin_internal_tests.ml) and [stack/lin_tests.ml](stack/lin_tests.ml) contain experimental `Lin.Internal` and `Lin`-tests of `Stack` + - [weak/lin_tests.ml](weak/lin_tests.ml) and + [weak/lin_tests_hashset.ml](weak/lin_tests_hashset.ml) contains experimental + `Lin`-stress tests of the `Weak` module + Tests of the underlying spawn/async functionality of `Domain` and