diff options
| author |  Jason Koenig <unknown> | 2011-07-15 17:55:54 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2011-07-15 17:55:54 -0700 |
| commit | 1f850973d1c80f9474a9b07571c35d37a1a25368 (patch) | |
| tree | 2e7d8832611e3985ec7b87d01b3c0e7130e01348 /Test | |
| parent | 6452c714971018391c7b49871865e8957cacb203 (diff) | |
Reverting accidental modification in changeset 58325a6e6ed3.
Diffstat (limited to 'Test')
| -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;
}
|