summaryrefslogtreecommitdiff
path: root/Test/z3api/boog22.bpl
blob: d1b9bc0f7da6edfb940409a846820c04b29ef6ae (plain)
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));
}