Start adding tests for exponent TC checks.

GaloisInc · Jul 29, 2024 · 8408a11 · 8408a11
1 parent 9a038e1
commit 8408a11
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 0 deletions.
diff --git a/tests/issues/issue1489/issue1489.cry b/tests/issues/issue1489/issue1489.cry
@@ -0,0 +1,4 @@
+module ID where
+
+id : {k} (fin k, k > 0) => [2^^k] -> [2^^k]
+id x = join(split`{2,2^^(k-1)}x)
diff --git a/tests/issues/issue1489/issue1489.icry b/tests/issues/issue1489/issue1489.icry
@@ -0,0 +1 @@
+:load ./issue1489.cry
diff --git a/tests/issues/issue1489/issue1489.icry.stdout b/tests/issues/issue1489/issue1489.icry.stdout
@@ -0,0 +1,3 @@
+Loading module Cryptol
+Loading module Cryptol
+Loading module ID