diff options
author | 2011-07-09 12:38:12 -0700 | |
---|---|---|
committer | 2011-07-09 12:38:12 -0700 | |
commit | b1b84b22d16894e5ea2bc7d677eb83c011cb6964 (patch) | |
tree | 6fa7b6c9a35d63798dcb159810fc933bb065e39f /Test/bitvectors/Answer | |
parent | 574a0863cb34fb612ecf3d107416c955bdf889a8 (diff) |
fixed bug in vcgen for bitvectors
Diffstat (limited to 'Test/bitvectors/Answer')
-rw-r--r-- | Test/bitvectors/Answer | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Test/bitvectors/Answer b/Test/bitvectors/Answer index 6f4068c6..f0f65b04 100644 --- a/Test/bitvectors/Answer +++ b/Test/bitvectors/Answer @@ -49,6 +49,9 @@ Boogie program verifier finished with 0 verified, 1 error -------------------- bv8.bpl --------------------
Boogie program verifier finished with 2 verified, 0 errors
+-------------------- bv10.bpl --------------------
+
+Boogie program verifier finished with 1 verified, 0 errors
-------------------- bv9.bpl /bv:z /proverOpt:OPTIMIZE_FOR_BV=true --------------------
Boogie program verifier finished with 1 verified, 0 errors
|