Remove old test directory in src/test

1 files changed, 0 insertions, 29 deletions

diff --git a/src/test/run_tests.ml b/src/test/run_tests.ml
deleted file mode 100644
index 770ed426..00000000
--- a/src/test/run_tests.ml
+++ /dev/null
@@ -1,29 +0,0 @@
-open Printf
-
-let tests = [
-  "test1", Test1.defs;
-  "test2", Test2.defs;
-  "test3", Test3.defs;
-  "test4", Test4.defs;
-  "pattern", Pattern.defs;
-  "vectors", Vectors.defs;
-  "regbits", Regbits.defs;
-  (*"power", Power.defs;*)
-] ;;
-
-let fst3 (x,_,_) = x
-
-let run_one ((name, _) as t) = (name, fst3(Run_interp.run t))
-
-let run_all () =
-  let results = List.map run_one tests in
-  if List.for_all (fun (_, r) -> r) results then
-    eprintf "\nSUCCESS: all tests passed!\n"
-  else begin
-    eprintf "\nFAILURE: the following tests failed:\n";
-    List.iter (fun (name, r) -> if not r then eprintf "- %s\n" name) results;
-    exit 1
-  end
-;;
-
-run_all () ;;