GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-21 10:58:01 +03:00
Code Issues Projects Releases Wiki Activity

formatting

Browse Source
This commit is contained in:
Henry Blanchette 2022-08-30 11:47:12 -07:00
parent f61f002b67
commit 5df322ee9f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/constraint-guards/inits.cry
View File

@ -29,4 +29,4 @@ property inits_correct =
(inits [1,2] == [1,1,2]) &&
(inits [1,2,3] == [1,1,2,1,2,3]) &&
(inits [1,2,3,4] == [1,1,2,1,2,3,1,2,3,4]) &&
(inits [1,2,3,4,5] == [1,1,2,1,2,3,1,2,3,4,1,2,3,4,5])
(inits [1,2,3,4,5] == [1,1,2,1,2,3,1,2,3,4,1,2,3,4,5])