Add integration test for #1894

GaloisInc · Aug 29, 2023 · 1d1b639 · 1d1b639
1 parent fd5566e
commit 1d1b639
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/intTests/test1894/test.saw b/intTests/test1894/test.saw
@@ -0,0 +1 @@
+(\n -> n) 1;
diff --git a/intTests/test1894/test.sh b/intTests/test1894/test.sh
@@ -0,0 +1,3 @@
+set -e
+
+$SAW test.saw