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

summary refs log tree commit diff

path: root/Test/z3api/boog3.bpl

blob: 207ddbd0984a002e97e91ea8a837c0954ace5c3e (plain)

type ref;
type Wicket;

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