Add regression test for #667.

GaloisInc · Dec 6, 2019 · 4da0f19 · 4da0f19
1 parent c230e23
commit 4da0f19
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/tests/issues/issue667.icry b/tests/issues/issue667.icry
@@ -0,0 +1 @@
+:prove \x -> (if x then { a = True, b = False } else { b = False, a = True }).a
diff --git a/tests/issues/issue667.icry.stdout b/tests/issues/issue667.icry.stdout
@@ -0,0 +1,2 @@
+Loading module Cryptol
+Q.E.D.
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		:prove \x -> (if x then { a = True, b = False } else { b = False, a = True }).a