GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-28 18:32:07 +03:00
Code Issues Projects Releases Wiki Activity

Fix tests

Browse Source
This commit is contained in:
Iavor Diatchki 2022-11-16 15:40:05 -08:00
parent ced1c56205
commit 7faf665fd3
6 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/mono-binds/test01.icry.stdout
View File

@ -4,6 +4,7 @@ Loading module test01
module test01
import Cryptol
/* Not recursive */
test01::a : {n, a} (fin n) => [n]a -> [2 * n]a
test01::a =
@ -20,6 +21,7 @@ Loading module test01
module test01
import Cryptol
/* Not recursive */
test01::a : {n, a} (fin n) => [n]a -> [2 * n]a
test01::a =

2
tests/mono-binds/test02.icry.stdout
View File

@ -4,6 +4,7 @@ Loading module test02
module test02
import Cryptol
/* Not recursive */
test02::test : {a, b} a -> b
test02::test =
@ -22,6 +23,7 @@ Loading module test02
module test02
import Cryptol
/* Not recursive */
test02::test : {a, b} b -> a
test02::test =

2
tests/mono-binds/test03.icry.stdout
View File

@ -4,6 +4,7 @@ Loading module test03
module test03
import Cryptol
/* Not recursive */
test03::test : {a} (fin a, a >= width a) => [a]
test03::test =
@ -20,6 +21,7 @@ Loading module test03
module test03
import Cryptol
/* Not recursive */
test03::test : {a} (fin a, a >= width a) => [a]
test03::test =

1
tests/mono-binds/test04.icry.stdout
View File

@ -4,6 +4,7 @@ Loading module test04
module test04
import Cryptol
/* Not recursive */
test04::test : {a, b} (Literal 10 b) => a -> ((a, ()), (a, b))
test04::test =

1
tests/mono-binds/test05.icry.stdout
View File

@ -10,6 +10,7 @@ Loading module test05
module test05
import Cryptol
/* Not recursive */
test05::foo : [10]
test05::foo = Cryptol::number 10 [10] <>

2
tests/mono-binds/test06.icry.stdout
View File

@ -4,6 +4,7 @@ Loading module test06
module test06
import Cryptol
/* Not recursive */
test06::test : {a} (Zero a) => a -> a
test06::test =
@ -24,6 +25,7 @@ Loading module test06
module test06
import Cryptol
/* Not recursive */
test06::test : {a} (Zero a) => a -> a
test06::test =