fix tests

gfngfn · Jan 4, 2024 · 7bc8972 · 7bc8972
1 parent 66602d6
commit 7bc8972
Show file tree

Hide file tree

Showing 6 changed files with 13 additions and 166 deletions.
diff --git a/test/common/commonTest.ml b/test/common/commonTest.ml
@@ -0,0 +1,6 @@
+
+let () =
+  let open Alcotest in
+  run "SATySFi-Util Test" [
+    ("DependencyGraph", DependencyGraphTest.test_cases);
+  ]
diff --git a/test/misc/dependencyGraphTest.ml → test/common/dependencyGraphTest.ml b/test/misc/dependencyGraphTest.ml → test/common/dependencyGraphTest.ml
@@ -1,12 +1,5 @@
 
-open Main__Types
-module ResultMonad = Main__ResultMonad
-module TupleList = Main__TupleList
-
-
-module DependencyGraph = Main__DependencyGraph
-
-
+open MyUtil
 module DG = DependencyGraph.Make(Int)
 
 
@@ -41,6 +34,7 @@ let pp_vertex ppf vertex =
 
 
 let pp_vertex_set ppf vertices =
+  let pp_sep ppf () = Format.fprintf ppf ",@ " in
   Format.fprintf ppf "%a" (Format.pp_print_list ~pp_sep pp_vertex) (DG.VertexSet.elements vertices)
 
 

diff --git a/test/common/dune b/test/common/dune
@@ -0,0 +1,5 @@
+(test
+  (name commonTest)
+  (libraries
+    satysfi-util
+    alcotest))
diff --git a/test/misc/dune b/test/misc/dune
diff --git a/test/misc/miscTest.ml b/test/misc/miscTest.ml
diff --git a/test/misc/packageConstraintSolverTest.ml b/test/misc/packageConstraintSolverTest.ml