summaryrefslogtreecommitdiff
path: root/Test/dafny3/Answer
blob: 3c3390544a91f6b8bd5134054ad9917c000d194d (plain) 
1
2
3
4


-------------------- Iter.dfy --------------------

Dafny program verifier finished with 15 verified, 0 errors
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-05 17:43:09 +0000