remove qtest

c-cube · May 16, 2023 · 2080298 · 2080298
1 parent 14ca006
commit 2080298
Show file tree

Hide file tree

Showing 7 changed files with 570 additions and 415 deletions.
diff --git a/.ocp-indent b/.ocp-indent
diff --git a/oseq.opam b/oseq.opam
@@ -12,7 +12,6 @@ build: [
 depends: [
   "dune" { >= "1.0" }
   "qcheck" {with-test}
-  "qtest" {with-test}
   "gen" {with-test}
   "containers" {with-test}
   "odoc" {with-doc}

diff --git a/qtest/dune b/qtest/dune
diff --git a/qtest/make.ml b/qtest/make.ml