GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-17 13:01:31 +03:00
Code Issues Projects Releases Wiki Activity

Update issue 225 to reflect the use of mono-binds

Browse Source
This commit is contained in:
Trevor Elliott 2014-12-09 13:57:27 -08:00
parent 86336b9c02
commit ae2f0b6770
2 changed files with 34 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tests/issues/issue225.icry
View File

@ -1 +1,4 @@
:set mono-binds=on
:l issue225.cry
:set mono-binds=off
:l issue225.cry

31
tests/issues/issue225.icry.stdout
View File

@ -1,3 +1,34 @@
Loading module Cryptol
Loading module Cryptol
Loading module EnigmaBroke
Loading module Cryptol
Loading module EnigmaBroke
[error] at issue225.cry:12:1--12:11:
Failed to validate user-specified signature.
In the definition of 'EnigmaBroke::joinRotors', at issue225.cry:12:1--12:11:
for any type n
fin n
=>
?o7 == 1 + min n ?o7
arising from
use of expression __p14
at issue225.cry:22:6--22:7
?u7 == 1 + min n ?u7
arising from
use of expression __p14
at issue225.cry:22:9--22:19
?a8 == 1 + min n ?a8
arising from
use of expression __p14
at issue225.cry:22:21--22:22
where
?o7 is 1st type parameter
of expression __p14
at issue225.cry:22:6--22:7
?u7 is 1st type parameter
of expression __p14
at issue225.cry:22:9--22:19
?a8 is 1st type parameter
of expression __p14
at issue225.cry:22:21--22:22