Add test for #838.

GaloisInc · Sep 23, 2020 · 4c485d1 · 4c485d1
1 parent 224526d
commit 4c485d1
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/tests/issues/issue838.icry b/tests/issues/issue838.icry
@@ -0,0 +1,7 @@
+// comment
+/* comment */
+/* multi-  \
+ * line    \
+ * block   \
+ * comment \
+ */
diff --git a/tests/issues/issue838.icry.stdout b/tests/issues/issue838.icry.stdout
@@ -0,0 +1 @@
+Loading module Cryptol