boog3.bpl « z3api « Test - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Test/z3api/boog3.bpl

blob: 48fae4a4be4bc5ebb197dec2635605cf2c7a51d0 (plain)

type ref;
type Wicket;

procedure Dummy();
implementation Dummy() {
  var x: Wicket;
  assert (x!=x);
}