From 0d94c8f5795b092372df5a06d6d0f9306d696d9b Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Tue, 21 Jul 2015 11:38:51 -0700 Subject: Update z3 to 4.4. One test had to be edited. --- Test/VerifyThis2015/Problem3.dfy.expect | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Test/VerifyThis2015/Problem3.dfy.expect') diff --git a/Test/VerifyThis2015/Problem3.dfy.expect b/Test/VerifyThis2015/Problem3.dfy.expect index 4035605c..d3a9554b 100644 --- a/Test/VerifyThis2015/Problem3.dfy.expect +++ b/Test/VerifyThis2015/Problem3.dfy.expect @@ -1,5 +1,5 @@ -Dafny program verifier finished with 15 verified, 0 errors +Dafny program verifier finished with 19 verified, 0 errors Program compiled successfully Running... -- cgit v1.2.3