Remove Weak Lin tests

ocaml-multicore · Jun 12, 2023 · e24cf47 · e24cf47
1 parent 9b85211
commit e24cf47
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 81 deletions.
diff --git a/src/weak/dune b/src/weak/dune
@@ -15,21 +15,3 @@
  (libraries qcheck-stm.sequential qcheck-stm.domain)
  (action (run %{test} --verbose))
 )
-
-(test
- (name lin_tests_dsl)
- (modules lin_tests_dsl)
- (package multicoretests)
- (libraries qcheck-lin.domain)
- ; (action (run %{test} --verbose))
- (action (echo "Skipping src/weak/%{test} from the test suite\n\n"))
-)
-
-(test
- (name lin_tests_dsl_hashset)
- (modules lin_tests_dsl_hashset)
- (package multicoretests)
- (libraries qcheck-lin.domain)
- ; (action (run %{test} --verbose))
- (action (echo "Skipping src/weak/%{test} from the test suite\n\n"))
-)
diff --git a/src/weak/lin_tests_dsl.ml b/src/weak/lin_tests_dsl.ml
diff --git a/src/weak/lin_tests_dsl_hashset.ml b/src/weak/lin_tests_dsl_hashset.ml