diff options
Diffstat (limited to 'Test/bitvectors/bv10.bpl')
| -rw-r--r-- | Test/bitvectors/bv10.bpl | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/Test/bitvectors/bv10.bpl b/Test/bitvectors/bv10.bpl index 57cf761c..7c325d95 100644 --- a/Test/bitvectors/bv10.bpl +++ b/Test/bitvectors/bv10.bpl @@ -5,11 +5,6 @@ modifies x; {
x := 0bv32;
- assert 1bv32 != 0bv32;
- /*
assume x == 1bv32;
- assert x == 0bv32;
- assert x == 1bv32 && x == 0bv32;
- assert 1bv32 == 0bv32;
- assert false;*/
+ assert false;
}
|