summaryrefslogtreecommitdiff
path: root/Test/dafny4/Juggernaut.dfy.expect
blob: 069e776717996975d19f2a49cc447837017bc6e0 (plain)
1
2

Dafny program verifier finished with 2 verified, 0 errors