mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-17 01:41:09 +03:00
Add another test
This commit is contained in:
parent
9f8d711638
commit
a0b43eef33
1
tests/modsys/functors/T017.cry
Normal file
1
tests/modsys/functors/T017.cry
Normal file
@ -0,0 +1 @@
|
|||||||
|
module T017 = T017_F { T017_M }
|
2
tests/modsys/functors/T017.icry
Normal file
2
tests/modsys/functors/T017.icry
Normal file
@ -0,0 +1,2 @@
|
|||||||
|
:load T017.cry
|
||||||
|
y
|
7
tests/modsys/functors/T017.icry.stdout
Normal file
7
tests/modsys/functors/T017.icry.stdout
Normal file
@ -0,0 +1,7 @@
|
|||||||
|
Loading module Cryptol
|
||||||
|
Loading module Cryptol
|
||||||
|
Loading interface module T017_F$interface
|
||||||
|
Loading module T017_F
|
||||||
|
Loading module T017_M
|
||||||
|
Loading module T017
|
||||||
|
0x04
|
6
tests/modsys/functors/T017_F.cry
Normal file
6
tests/modsys/functors/T017_F.cry
Normal file
@ -0,0 +1,6 @@
|
|||||||
|
module T017_F where
|
||||||
|
|
||||||
|
parameter
|
||||||
|
x : [8]
|
||||||
|
|
||||||
|
y = x + x
|
4
tests/modsys/functors/T017_M.cry
Normal file
4
tests/modsys/functors/T017_M.cry
Normal file
@ -0,0 +1,4 @@
|
|||||||
|
module T017_M where
|
||||||
|
|
||||||
|
x : [8]
|
||||||
|
x = 2
|
Loading…
Reference in New Issue
Block a user