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

summary refs log tree commit diff

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

blob: e37b8b9b0d89066ef3387b922ea3447191b65d0e (plain)

1
2
3

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

Dafny program verifier finished with 2 verified, 0 errors