diff options
author | 2010-08-14 10:57:24 +0000 | |
---|---|---|
committer | 2010-08-14 10:57:24 +0000 | |
commit | 3cf0a3951a02b9a7172a30238c3ffce1e72d9d03 (patch) | |
tree | 6cb9d2aa64c4d852129c304a96cc1a11d82909e1 /Test/bitvectors/Answer | |
parent | 4e5e02318bfaa9ad58ccc1f6dfdb5005ce8234a8 (diff) |
Boogie: Fixed test 'bitvectors'.
Diffstat (limited to 'Test/bitvectors/Answer')
-rw-r--r-- | Test/bitvectors/Answer | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Test/bitvectors/Answer b/Test/bitvectors/Answer index 0299fff6..d861d253 100644 --- a/Test/bitvectors/Answer +++ b/Test/bitvectors/Answer @@ -50,6 +50,5 @@ Boogie program verifier finished with 0 verified, 1 error Boogie program verifier finished with 2 verified, 0 errors
-------------------- bv9.bpl /bv:z /proverOpt:OPTIMIZE_FOR_BV=true --------------------
-Boogie program verifier version 2, Copyright (c) 2003-2010, Microsoft.
Boogie program verifier finished with 1 verified, 0 errors
|