diff options
author | Shaz Qadeer <qadeer@microsoft.com> | 2016-07-18 13:51:45 -0700 |
---|---|---|
committer | Shaz Qadeer <qadeer@microsoft.com> | 2016-07-18 13:51:45 -0700 |
commit | 7023020bebf720cc02f37bb943cd48e6576a7ecb (patch) | |
tree | 0d31d3461ecd81432ade52034a8fe628bcb82ede /Test/civl/ticket.bpl.expect | |
parent | 87e1e7b34261eac35869e6eff83fa57ca6268f3d (diff) |
update
Diffstat (limited to 'Test/civl/ticket.bpl.expect')
-rw-r--r-- | Test/civl/ticket.bpl.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/civl/ticket.bpl.expect b/Test/civl/ticket.bpl.expect index dc45a0ee..6696bdbd 100644 --- a/Test/civl/ticket.bpl.expect +++ b/Test/civl/ticket.bpl.expect @@ -1,2 +1,2 @@ -Boogie program verifier finished with 24 verified, 0 errors +Boogie program verifier finished with 26 verified, 0 errors |