diff options
Diffstat (limited to 'Test/bitvectors/bv10.bpl')
-rw-r--r-- | Test/bitvectors/bv10.bpl | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/Test/bitvectors/bv10.bpl b/Test/bitvectors/bv10.bpl index cacf9f7a..6ba4ad7a 100644 --- a/Test/bitvectors/bv10.bpl +++ b/Test/bitvectors/bv10.bpl @@ -1,12 +1,12 @@ -// RUN: %boogie "%s" > "%t"
-// RUN: %diff "%s.expect" "%t"
-var x: bv32;
-
-procedure main()
-modifies x;
-{
-
- x := 0bv32;
- assume x == 1bv32;
- assert false;
-}
+// RUN: %boogie "%s" > "%t" +// RUN: %diff "%s.expect" "%t" +var x: bv32; + +procedure main() +modifies x; +{ + + x := 0bv32; + assume x == 1bv32; + assert false; +} |