1 2 3 4 5 6 7 8 9 10 11 12
// RUN: %boogie %s > %t // RUN: %diff %s.expect %t var x: bv32; procedure main() modifies x; { x := 0bv32; assume x == 1bv32; assert false; }