Merge pull request #204 from jmid/rm-kcas

Remove kcas tests
ocaml-multicore · Nov 20, 2022 · c4461ff · c4461ff
2 parents a9041fb + 3c4900a
commit c4461ff
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 246 deletions.
diff --git a/multicoretests.opam b/multicoretests.opam
@@ -39,6 +39,5 @@ build: [
 ]
 dev-repo: "git+https://github.com/jmid/multicoretests.git"
 pin-depends: [
-# ["kcas.0.14"                 "git+https://github.com/ocaml-multicore/kcas#master"]
   ["lockfree.v0.2.0"           "git+https://github.com/ocaml-multicore/lockfree#main"]
 ]
diff --git a/src/README.md b/src/README.md
@@ -68,9 +68,6 @@ Tests utilizing the linearizability tests of Lin.ml:
  - [stack/lin_tests.ml](stack/lin_tests.ml) and [stack/lin_tests_dsl.ml](stack/lin_tests_dsl.ml)
    contain experimental `Lin` and `Lin_api`-tests of `Stack`
 
- - [kcas/lin_tests.ml](kcas/lin_tests.ml) and [kcas/lin_tests_dsl.ml](kcas/lin_tests_dsl.ml)
-   contain experimental `Lin` and `Lin_api`-tests of `Kcas` and `Kcas.W1` (Note: `Kcas` is subsumed by `Stdlib.Atomic`).
-
 
 
 Tests of the underlying spawn/async functionality of `Domain`,

diff --git a/src/dune b/src/dune
@@ -24,5 +24,4 @@
        ;; other libs
        (alias domainslib/default)
        (alias lockfree/default)
-       ;; (alias kcas/default)  -- kcas tests disabled
        ))
diff --git a/src/kcas/README.md b/src/kcas/README.md
diff --git a/src/kcas/dune b/src/kcas/dune
diff --git a/src/kcas/lin_tests.ml b/src/kcas/lin_tests.ml
diff --git a/src/kcas/lin_tests_dsl.ml b/src/kcas/lin_tests_dsl.ml