split library tests into separate files to avoid risk of sail compiler stack overflow.

1 files changed, 19 insertions, 0 deletions

diff --git a/src/test/lib/test_prelude.sail b/src/test/lib/test_prelude.sail
new file mode 100644
index 00000000..3525af8e
--- /dev/null
+++ b/src/test/lib/test_prelude.sail
@@ -0,0 +1,19 @@
+default Order inc
+
+scattered typedef ast = const union
+val ast -> unit effect pure execute
+scattered function unit execute
+
+union ast member (unit) DUMMY
+function clause execute (DUMMY) = ()
+
+end ast
+end execute
+
+function unit test_assert (name, pred) = {
+  print (name);
+  if pred then
+    print (": pass\n")
+  else
+    print(": fail\n")
+}