Add bundeled test files

test/dune

@@ -6,4 +6,4 @@
 
 (copy_files
  (alias runtest)
- (files ../progs/ex1.kat))
+ (files ../progs/*.kat))

test/test.ml

@@ -2,6 +2,40 @@ open Utils
 
 let%test_unit "ex1-parse" =
     ignore @@ parse_file "../progs/ex1.kat"
+
+let%test_unit "ex1-V3-file-parse" = 
+    ignore @@ parse_file "../progs/ex1-V3.kat"
 
+let%test_unit "gn-file-parse" = 
+    ignore @@ parse_file "../progs/gn.kat"
 
+let%test_unit "grandMere-file-parse" = 
+    ignore @@ parse_file "../progs/grandMere.kat"
 
+let%test_unit "masking1-file-parse" = 
+    ignore @@ parse_file "../progs/masking1.kat"
+
+let%test_unit "test-file-parse" = 
+    ignore @@ parse_file "../progs/test.kat"
+
+
+let%test "err1-file-parse" = 
+    file_ctx_err "../progs/err1.kat"
+
+let%test "err2-file-parse" = 
+    file_ctx_err "../progs/err2.kat"
+
+let%test "err3-file-parse" = 
+    file_ctx_err "../progs/err3.kat"
+
+let%test "err4-file-parse" = 
+    file_ctx_err "../progs/err4.kat"
+
+let%test "errCast-file-parse" = 
+    file_ctx_err "../progs/errCast.kat"
+
+let%test "errCycle-file-parse" = 
+    file_ctx_err "../progs/errCycle.kat"
+
+let%test "errResult-file-parse" = 
+    file_ctx_err "../progs/errResult.kat"

test/utils.ml

@@ -20,10 +20,18 @@ let expects_parse_err str =
   try ignore @@ parse_str str; false
   with Parser.Error -> true
 
+let file_parse_err file = 
+  try ignore @@ parse_file file; false
+  with Parser.Error -> true
+
 let expects_ctx_err str =
   try Contextual.check_all @@ parse_str str; false
   with Contextual.Contextual_error _ -> true
 
+let file_ctx_err file = 
+  try Contextual.check_all @@ parse_file file; false
+  with Contextual.Contextual_error _ -> true 
+
 let expects_ast str =
   Contextual.check_all @@ parse_str str; true