Divided test in files (fix)

OopsOverflow · Jan 9, 2022 · bc1e8b9 · bc1e8b9
1 parent 0f55589
commit bc1e8b9
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 3 deletions.
diff --git a/test/compil.ml b/test/compil.ml
@@ -1,3 +1,3 @@
-open Utils
+(* open Utils *)
 
 (* ---------- Compilation tests ---------- *)
diff --git a/test/context.ml b/test/context.ml
@@ -1,4 +1,5 @@
 open Utils
+open Core
 
 (* ---------- Contextual tests ---------- *)
 

diff --git a/test/exec.ml b/test/exec.ml
@@ -1,3 +1,3 @@
-open Utils
+(* open Utils *)
 
 (* ---------- Execution tests ---------- *)
diff --git a/test/test.ml b/test/test.ml
@@ -1,7 +1,7 @@
 open Utils
 
 let%test_unit "ex1-parse" =
-    ignore @@ parse_file "../progs/ex1.kat"
+    ignore @@ parse_file "ex1.kat"