Add test for #1985

GaloisInc · Nov 18, 2023 · 2187d81 · 2187d81
1 parent 00e216a
commit 2187d81
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/intTests/test1985/test.saw b/intTests/test1985/test.saw
@@ -0,0 +1,12 @@
+// Test top level typedefs
+typedef Foo = Int;
+typedef Bar = Foo;
+let thing : Bar = 2;
+
+// Test local typedefs
+let local = do {
+  typedef LocalFoo = Bar;
+  typedef LocalBar = LocalFoo;
+  let local_thing : LocalBar = 3;
+  return ();
+};
diff --git a/intTests/test1985/test.sh b/intTests/test1985/test.sh
@@ -0,0 +1,3 @@
+set -e
+
+$SAW test.saw