Another stupid test

2 files changed, 5 insertions, 0 deletions

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 )