1
1
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-21 06:51:57 +03:00
cryptol/tests/regression/check04.cry
2014-04-17 15:34:25 -07:00

5 lines
94 B
Plaintext

onetwos = [1] # twoones
twoones = [2] # onetwos
check4 = onetwos @@ [0 .. 3] == [1, 2, 1, 2]