diff options
| author |  leino <unknown> | 2015-04-28 19:48:33 -0700 |
|---|---|---|
| committer | leino <unknown> | 2015-04-28 19:48:33 -0700 |
| commit | 8af694583e86b36d8fcc81485ea2f02c9961d96c (patch) | |
| tree | 81c8c439236c5cf744fc5d5327586e328a64335d /Test/VerifyThis2015/Problem3.dfy.expect | |
| parent | 84b3df3615af4f83df753b042b276b994a97b18b (diff) | |
Changes to the VerifyThis2015 test programs
Diffstat (limited to 'Test/VerifyThis2015/Problem3.dfy.expect')
| -rw-r--r-- | Test/VerifyThis2015/Problem3.dfy.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/VerifyThis2015/Problem3.dfy.expect b/Test/VerifyThis2015/Problem3.dfy.expect index 9559b9a6..4035605c 100644 --- a/Test/VerifyThis2015/Problem3.dfy.expect +++ b/Test/VerifyThis2015/Problem3.dfy.expect @@ -1,5 +1,5 @@ -Dafny program verifier finished with 13 verified, 0 errors
+Dafny program verifier finished with 15 verified, 0 errors
Program compiled successfully
Running...
|