diff options
Diffstat (limited to 'Test/aitest0/Answer')
-rw-r--r-- | Test/aitest0/Answer | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/aitest0/Answer b/Test/aitest0/Answer index 961b3c33..cc518d1b 100644 --- a/Test/aitest0/Answer +++ b/Test/aitest0/Answer @@ -165,4 +165,4 @@ Execution trace: Intervals.bpl(301,3): anon3_LoopHead
Intervals.bpl(301,3): anon3_LoopDone
-Boogie program verifier finished with 15 verified, 11 errors
+Boogie program verifier finished with 16 verified, 11 errors
|