diff options
author | leino <unknown> | 2014-11-06 14:40:17 -0800 |
---|---|---|
committer | leino <unknown> | 2014-11-06 14:40:17 -0800 |
commit | 4b8346cdb84df7ba1bdd59aca41c6e7807f912c8 (patch) | |
tree | cf0ffa9997b1f01d93a432da9948b1ef679e2f65 /Test/dafny0/DirtyLoops.dfy.expect | |
parent | 41ae0ef413e2806e1ee753f56de2152938902fac (diff) | |
parent | fd15838d416860cd7fe9e5303fb4d624d0b82ab3 (diff) |
Merge
Diffstat (limited to 'Test/dafny0/DirtyLoops.dfy.expect')
-rw-r--r-- | Test/dafny0/DirtyLoops.dfy.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/DirtyLoops.dfy.expect b/Test/dafny0/DirtyLoops.dfy.expect index 060f3287..99fb4165 100644 --- a/Test/dafny0/DirtyLoops.dfy.expect +++ b/Test/dafny0/DirtyLoops.dfy.expect @@ -1,4 +1,4 @@ -Dafny program verifier finished with 6 verified, 0 errors
+Dafny program verifier finished with 8 verified, 0 errors
Dafny program verifier finished with 0 verified, 0 errors
|