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

Fix Mac OS test

Browse Source
This commit is contained in:
Iavor Diatchki 2022-09-23 17:47:50 +03:00
parent c3f6181204
commit 96fb52dc9c
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tests/ffi/test-ffi.icry.stdout.darwin
View File

@ -39,3 +39,6 @@ True
(ratio 2 1)
[(ratio 4 1), (ratio 1 4)]
((ratio 37 1), 72)
2
0
1