GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-24 06:52:44 +03:00
Code Issues Projects Releases Wiki Activity

Add another test for unary operators

Browse Source
This commit is contained in:
Trevor Elliott 2015-06-04 10:37:28 -07:00
parent 2f45ce1a38
commit 6bdbe52673
3 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tests/parser/unary-2.cry Normal file
View File

@ -0,0 +1,3 @@
test1 = ~ min 1 2 == 2
test2 = - min 1 2 == 3

3
tests/parser/unary-2.icry Normal file
View File

@ -0,0 +1,3 @@
:l unary-2.cry
test1
test2

15
tests/parser/unary-2.icry.stdout Normal file
View File

@ -0,0 +1,15 @@
Loading module Cryptol
Loading module Cryptol
Loading module Main
[warning] at :1:1--3:23:
Defaulting type parameter 'bits'
of literal or demoted expression
at ./unary-2.cry:3:22--3:23
to 2
[warning] at :1:1--3:23:
Defaulting type parameter 'bits'
of literal or demoted expression
at ./unary-2.cry:2:22--2:23
to 2
True
True