From ee74df73e643a905e70bb234a150a05e94a9e9ff Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 10 Oct 2013 17:17:18 +0100
Subject: Another stupid test

---
 src/test/run_tests.ml | 1 +
 src/test/test2.sail   | 4 ++++
 2 files changed, 5 insertions(+)
 create mode 100644 src/test/test2.sail

(limited to 'src')

diff --git a/src/test/run_tests.ml b/src/test/run_tests.ml
index 56dd88c9..58ea2b17 100644
--- a/src/test/run_tests.ml
+++ b/src/test/run_tests.ml
@@ -1,5 +1,6 @@
 let tests = [
   "test1", Test1.defs;
+  "test2", Test2.defs;
 ] ;;
 
 let run_all () = List.iter Run_interp.run tests ;;
diff --git a/src/test/test2.sail b/src/test/test2.sail
new file mode 100644
index 00000000..778e69cb
--- /dev/null
+++ b/src/test/test2.sail
@@ -0,0 +1,4 @@
+function unit main ( < bit > x ) = {
+  42
+}
+let unit run = main ( 42 )
-- 
cgit v1.2.3