GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-24 08:24:19 +03:00
Code Issues Projects Releases Wiki Activity

Add regression test for issue #256.

Browse Source
This commit is contained in:
Brian Huffman 2016-02-08 15:09:34 -08:00
parent b2021f8bc2
commit ab4f113084
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tests/issues/issue256.icry Normal file
View File

@ -0,0 +1,3 @@
:t [True] == [False]
:t \x -> True != x
:t \x -> True && x

4
tests/issues/issue256.icry.stdout Normal file
View File

@ -0,0 +1,4 @@
Loading module Cryptol
[True] == [False] : Bit
\x -> True != x : Bit -> Bit
\x -> True && x : Bit -> Bit