Add a couple tests.

GaloisInc · Jan 29, 2025 · c1a049e · c1a049e
1 parent e583163
commit c1a049e
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 0 deletions.
diff --git a/intTests/test2204/test.sh b/intTests/test2204/test.sh
@@ -0,0 +1,4 @@
+set -e
+
+$SAW test1.saw
+$SAW test2.saw
diff --git a/intTests/test2204/test1.saw b/intTests/test2204/test1.saw
@@ -0,0 +1,6 @@
+let f (x : a) : a = x;
+let g (x : a) (y : b) : (a, b) = (x, y);
+
+let h (x : a) : m a = do {
+   return x;
+};
diff --git a/intTests/test2204/test2.saw b/intTests/test2204/test2.saw
@@ -0,0 +1,4 @@
+rec f (x : a) : b = g x
+and g (y : a) : b = h y
+and h (z : a) : b = f z
+;