diff options
| author |  wuestholz <unknown> | 2010-08-14 10:57:24 +0000 |
|---|---|---|
| committer | wuestholz <unknown> | 2010-08-14 10:57:24 +0000 |
| commit | 3cf0a3951a02b9a7172a30238c3ffce1e72d9d03 (patch) | |
| tree | 6cb9d2aa64c4d852129c304a96cc1a11d82909e1 /Test | |
| parent | 4e5e02318bfaa9ad58ccc1f6dfdb5005ce8234a8 (diff) | |
Boogie: Fixed test 'bitvectors'.
Diffstat (limited to 'Test')
| -rw-r--r-- | Test/bitvectors/Answer | 1 | ||||
| -rw-r--r-- | Test/bitvectors/runtest.bat | 2 |
2 files changed, 1 insertions, 2 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
diff --git a/Test/bitvectors/runtest.bat b/Test/bitvectors/runtest.bat index 0ed64df1..fd5136f5 100644 --- a/Test/bitvectors/runtest.bat +++ b/Test/bitvectors/runtest.bat @@ -17,4 +17,4 @@ for %%f in (bv5.bpl bv6.bpl bv8.bpl) do ( )
echo -------------------- bv9.bpl /bv:z /proverOpt:OPTIMIZE_FOR_BV=true --------------------
-%BGEXE% /bv:z /proverOpt:OPTIMIZE_FOR_BV=true bv9.bpl
+%BGEXE% /bv:z /proverOpt:OPTIMIZE_FOR_BV=true %* bv9.bpl
|