Test/z3api/boog22.bpl


1
2
3
4
5
6
7
8
9
10
11

type ref;
type W;

function f1(W,int) returns (int);
function f1(W,int,int) returns (int);

procedure main() 
{  
  var w: W;
  assert(f1(w,0)==f1(w,0,0));
}