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

fix expected output for tests after fix in #10

Browse Source
This commit is contained in:
Adam C. Foltzer 2014-04-29 11:43:19 -07:00
parent 8ad498ca57
commit 3919ebeab7
3 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tests/issues/issue226.icry.stdout
View File

@ -1,6 +1,5 @@
Loading module Cryptol
Loading module Cryptol
Loading module Cryptol
Loading module issue226r2
Loading module issue226
Type Synonyms

1
tests/issues/issue290.icry.stdout
View File

@ -1,6 +1,5 @@
Loading module Cryptol
Loading module Cryptol
Loading module Cryptol
Loading module issue290
Loading module issue290bar
Assuming a = 2

1
tests/renamer/import01.icry.stdout
View File

@ -1,5 +1,4 @@
Loading module Cryptol
Loading module Cryptol
Loading module Cryptol
Loading module import01_dep
Loading module import01