From 2142e51d713394d384b0f33c1189f633dcbe301a Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Sat, 22 Aug 2015 20:15:34 -0700 Subject: Grant "wishlist/useless-casts-in-decreases-clauses.dfy" --- Test/wishlist/granted/useless-casts-in-decreases-clauses.dfy.expect | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 Test/wishlist/granted/useless-casts-in-decreases-clauses.dfy.expect (limited to 'Test/wishlist/granted/useless-casts-in-decreases-clauses.dfy.expect') diff --git a/Test/wishlist/granted/useless-casts-in-decreases-clauses.dfy.expect b/Test/wishlist/granted/useless-casts-in-decreases-clauses.dfy.expect new file mode 100644 index 00000000..36d7e6b8 --- /dev/null +++ b/Test/wishlist/granted/useless-casts-in-decreases-clauses.dfy.expect @@ -0,0 +1,3 @@ +useless-casts-in-decreases-clauses.dfy(6,2): Info: decreases pos - 0 + +Dafny program verifier finished with 2 verified, 0 errors -- cgit v1.2.3