useless-casts-in-decreases-clauses.dfy.expect « granted « wishlist « Test - debian-dafny - Debian packaging for Dafny

summary refs log tree commit diff

path: root/Test/wishlist/granted/useless-casts-in-decreases-clauses.dfy.expect

blob: 36d7e6b82f45b11c6cbff91f9527245c15a21954 (plain)

1
2
3

useless-casts-in-decreases-clauses.dfy(6,2): Info: decreases pos - 0

Dafny program verifier finished with 2 verified, 0 errors