From 366b64825ce20ea5f9f3e0da298618f15450613f Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 10 Oct 2013 16:29:35 +0100
Subject: Stub test suite

---
 src/test/run_tests.ml | 7 +++++++
 src/test/test1.sail   | 1 -
 2 files changed, 7 insertions(+), 1 deletion(-)
 create mode 100644 src/test/run_tests.ml

(limited to 'src/test')

diff --git a/src/test/run_tests.ml b/src/test/run_tests.ml
new file mode 100644
index 00000000..56dd88c9
--- /dev/null
+++ b/src/test/run_tests.ml
@@ -0,0 +1,7 @@
+let tests = [
+  "test1", Test1.defs;
+] ;;
+
+let run_all () = List.iter Run_interp.run tests ;;
+
+run_all () ;;
diff --git a/src/test/test1.sail b/src/test/test1.sail
index 29f479d6..e3a98e3f 100644
--- a/src/test/test1.sail
+++ b/src/test/test1.sail
@@ -10,4 +10,3 @@ typedef maybe = const union forall a. { unit None; a Some; }
 typedef colors = enumerate { red; green; blue }
 typedef creg = register bits [5:i] { 5 : h ; 6..7 : j}
 let bool e = true
-let unit x = main ()
-- 
cgit v1.2.3