Move test to subfolder

codex-semantics-library · Jul 12, 2024 · 039c2de · 039c2de
1 parent 8800a36
commit 039c2de
Show file tree

Hide file tree

Showing 4 changed files with 30 additions and 11 deletions.
diff --git a/src/dune b/src/dune
@@ -22,7 +22,6 @@
 (library
  (name PatriciaTree)
  (public_name patricia-tree)
- (modules :standard \ prelude PatriciaTreeTest)
  (foreign_stubs
   (language c)
   (names int_builtins)))
@@ -33,13 +32,4 @@
 (mdx
  (files *.mld *.mli)
  (libraries patricia-tree)
- (preludes prelude.ml))
-
-(library
- (name PatriciaTreeTest)
- (inline_tests
-  (libraries qcheck-core))
- (preprocess
-  (pps ppx_inline_test))
- (libraries PatriciaTree qcheck-core)
- (modules PatriciaTreeTest))
+ (preludes test/mdx_prelude.ml))
diff --git a/src/test/dune b/src/test/dune
@@ -0,0 +1,29 @@
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;  This file is part of the Codex semantics library                      ;;
+;;    (patricia-tree sub-component).                                      ;;
+;;                                                                        ;;
+;;  Copyright (C) 2024                                                    ;;
+;;    CEA (Commissariat à l'énergie atomique et aux énergies              ;;
+;;         alternatives)                                                  ;;
+;;                                                                        ;;
+;;  You can redistribute it and/or modify it under the terms of the GNU   ;;
+;;  Lesser General Public License as published by the Free Software       ;;
+;;  Foundation, version 2.1.                                              ;;
+;;                                                                        ;;
+;;  It is distributed in the hope that it will be useful,                 ;;
+;;  but WITHOUT ANY WARRANTY; without even the implied warranty of        ;;
+;;  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         ;;
+;;  GNU Lesser General Public License for more details.                   ;;
+;;                                                                        ;;
+;;  See the GNU Lesser General Public License version 2.1                 ;;
+;;  for more details (enclosed in the file LICENSE).                      ;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
+(library
+ (name PatriciaTreeTest)
+ (inline_tests
+  (libraries qcheck-core))
+ (preprocess
+  (pps ppx_inline_test))
+ (libraries PatriciaTree qcheck-core)
+ (modules PatriciaTreeTest))
diff --git a/src/prelude.ml → src/test/mdx_prelude.ml b/src/prelude.ml → src/test/mdx_prelude.ml
diff --git a/src/patriciaTreeTest.ml → src/test/patriciaTreeTest.ml b/src/patriciaTreeTest.ml → src/test/patriciaTreeTest.ml