Program: 88537
Project: 88537
Buggy source:
public void setup(PaddleOptions opts){
  options=opts;
switch (options.backend()) {
case PaddleOptions.backend_buddy:
    Jedd.v().setBackend("String_Node_Str");
  break;
case PaddleOptions.backend_cudd:
Jedd.v().setBackend("String_Node_Str");
break;
case PaddleOptions.backend_sable:
Jedd.v().setBackend("String_Node_Str");
break;
case PaddleOptions.backend_javabdd:
Jedd.v().setBackend("String_Node_Str");
break;
case PaddleOptions.backend_none:
break;
default :
throw new RuntimeException("String_Node_Str" + options.backend());
}
if (options.backend() != PaddleOptions.backend_none) {
PhysicalDomain[] vs={V1.v(),V2.v(),MS.v(),ST.v()};
PhysicalDomain[] ts={T1.v(),T2.v(),T3.v(),MT.v(),SG.v()};
PhysicalDomain[] cs={C1.v(),C2.v(),C3.v()};
Object[] order={cs,vs,FD.v(),H1.v(),H2.v(),ts,KD.v()};
Jedd.v().setOrder(order,true);
}
if (options.profile()) {
Jedd.v().enableProfiling();
}
if (options.bdd()) {
buildBDD();
}
 else {
buildTrad();
}
makeSetFactories();
depMan.addDep(scgbout,cicg);
depMan.addDep(cicgout,rm);
depMan.addDep(csout,rm);
depMan.addDep(rmout,scgb);
depMan.addDep(scmout,cg);
depMan.addDep(vcmout,cg);
depMan.addDep(cgout,cg);
depMan.addDep(rcout,cscgb);
depMan.addDep(cicgout,cscgb);
depMan.addDep(rmout,mpb);
depMan.addDep(locals,ni);
depMan.addDep(globals,ni);
depMan.addDep(localallocs,ni);
depMan.addDep(globalallocs,ni);
depMan.addDep(ni,mpb);
depMan.addDep(simple,mpc);
depMan.addDep(store,mpc);
depMan.addDep(load,mpc);
depMan.addDep(alloc,mpc);
depMan.addDep(rcout,mpc);
depMan.addDep(ni,cec);
depMan.addDep(parms,cec);
depMan.addDep(rets,cec);
depMan.addDep(cgout,cec);
depMan.addDep(cgout,ecs);
depMan.addDep(ecsout,ceh);
depMan.addDep(csimple,pag);
depMan.addDep(cload,pag);
depMan.addDep(cstore,pag);
depMan.addDep(calloc,pag);
depMan.addDep(csimple,prop);
depMan.addDep(cload,prop);
depMan.addDep(cstore,prop);
depMan.addDep(calloc,prop);
depMan.addDep(paout,vcr);
depMan.addDep(receivers,vcr);
depMan.addDep(specials,vcr);
depMan.addDep(rcout,cs);
depMan.addDep(locals,tm);
depMan.addDep(globals,tm);
depMan.addDep(localallocs,tm);
depMan.addDep(globalallocs,tm);
depMan.addDep(staticcalls,scm);
depMan.addDep(virtualcalls,vcm);
depMan.addDep(cicg,cscgb);
depMan.addDep(cicg,cg);
depMan.addDep(cicg,rm);
depMan.addDep(tm,prop);
depMan.addDep(pag,prop);
depMan.addDep(cg,rc);
depMan.addPrec(cec,globalallocs);
depMan.addPrec(cec,globals);
depMan.addPrec(cec,locals);
depMan.addPrec(cec,localallocs);
depMan.addPrec(cec,ni);
depMan.addPrec(cec,parms);
depMan.addPrec(cec,rets);
depMan.addPrec(cec,ceh);
depMan.addPrec(cec,ecsout);
depMan.addPrec(cec,ecs);
depMan.addPrec(cec,cgout);
depMan.addPrec(mpc,globalallocs);
depMan.addPrec(mpc,globals);
depMan.addPrec(mpc,locals);
depMan.addPrec(mpc,localallocs);
depMan.addPrec(mpc,ni);
depMan.addPrec(mpc,simple);
depMan.addPrec(mpc,store);
depMan.addPrec(mpc,load);
depMan.addPrec(mpc,alloc);
depMan.addPrec(mpc,mpb);
depMan.addPrec(mpc,rmout);
depMan.addPrec(mpc,rcout);
depMan.addPrec(mpc,rc);
depMan.addPrec(mpc,cs);
depMan.addPrec(mpc,csout);
depMan.addPrec(mpc,rm);
depMan.addPrec(prop,cstore);
depMan.addPrec(prop,csimple);
depMan.addPrec(prop,calloc);
depMan.addPrec(prop,cload);
depMan.addPrec(prop,pag);
}

Fixed version (ground truth):
public void setup(PaddleOptions opts){
  options=opts;
switch (options.backend()) {
case PaddleOptions.backend_buddy:
    Jedd.v().setBackend("String_Node_Str");
  break;
case PaddleOptions.backend_cudd:
Jedd.v().setBackend("String_Node_Str");
break;
case PaddleOptions.backend_sable:
Jedd.v().setBackend("String_Node_Str");
break;
case PaddleOptions.backend_javabdd:
Jedd.v().setBackend("String_Node_Str");
break;
case PaddleOptions.backend_none:
break;
default :
throw new RuntimeException("String_Node_Str" + options.backend());
}
if (options.backend() != PaddleOptions.backend_none) {
PhysicalDomain[] vs={V1.v(),V2.v(),MS.v(),ST.v()};
PhysicalDomain[] ts={T1.v(),T2.v(),T3.v(),MT.v(),SG.v()};
PhysicalDomain[] cs={C1.v(),C2.v(),C3.v()};
Object[] order={cs,vs,FD.v(),H1.v(),H2.v(),ts,KD.v()};
Jedd.v().setOrder(order,true);
}
if (options.profile()) {
Jedd.v().enableProfiling();
}
if (options.bdd()) {
buildBDD();
}
 else {
buildTrad();
}
makeSetFactories();
depMan.addDep(scgbout,cicg);
depMan.addDep(cicgout,rm);
depMan.addDep(csout,rm);
depMan.addDep(rmout,scgb);
depMan.addDep(scmout,cg);
depMan.addDep(vcmout,cg);
depMan.addDep(cgout,cg);
depMan.addDep(rcout,cscgb);
depMan.addDep(cicgout,cscgb);
depMan.addDep(rmout,mpb);
depMan.addDep(locals,ni);
depMan.addDep(globals,ni);
depMan.addDep(localallocs,ni);
depMan.addDep(globalallocs,ni);
depMan.addDep(ni,mpb);
depMan.addDep(simple,mpc);
depMan.addDep(store,mpc);
depMan.addDep(load,mpc);
depMan.addDep(alloc,mpc);
depMan.addDep(rcout,mpc);
depMan.addDep(ni,cec);
depMan.addDep(parms,cec);
depMan.addDep(rets,cec);
depMan.addDep(cgout,cec);
depMan.addDep(cgout,ecs);
depMan.addDep(ecsout,ceh);
depMan.addDep(csimple,pag);
depMan.addDep(cload,pag);
depMan.addDep(cstore,pag);
depMan.addDep(calloc,pag);
depMan.addDep(csimple,prop);
depMan.addDep(cload,prop);
depMan.addDep(cstore,prop);
depMan.addDep(calloc,prop);
depMan.addDep(paout,vcr);
depMan.addDep(receivers,vcr);
depMan.addDep(specials,vcr);
depMan.addDep(rcout,cs);
depMan.addDep(locals,tm);
depMan.addDep(globals,tm);
depMan.addDep(localallocs,tm);
depMan.addDep(globalallocs,tm);
depMan.addDep(staticcalls,scm);
depMan.addDep(virtualcalls,vcm);
depMan.addDep(cicg,cscgb);
depMan.addDep(cicg,cg);
depMan.addDep(cicg,rm);
depMan.addDep(tm,prop);
depMan.addDep(pag,prop);
depMan.addDep(cg,rc);
depMan.addPrec(cec,globalallocs);
depMan.addPrec(cec,globals);
depMan.addPrec(cec,locals);
depMan.addPrec(cec,localallocs);
depMan.addPrec(cec,ni);
depMan.addPrec(cec,parms);
depMan.addPrec(cec,rets);
depMan.addPrec(cec,ceh);
depMan.addPrec(cec,ecsout);
depMan.addPrec(cec,ecs);
depMan.addPrec(cec,cgout);
depMan.addPrec(mpc,globalallocs);
depMan.addPrec(mpc,globals);
depMan.addPrec(mpc,locals);
depMan.addPrec(mpc,localallocs);
depMan.addPrec(mpc,ni);
depMan.addPrec(mpc,simple);
depMan.addPrec(mpc,store);
depMan.addPrec(mpc,load);
depMan.addPrec(mpc,alloc);
depMan.addPrec(mpc,mpb);
depMan.addPrec(mpc,rmout);
depMan.addPrec(mpc,rcout);
depMan.addPrec(mpc,rc);
depMan.addPrec(mpc,cs);
depMan.addPrec(mpc,csout);
depMan.addPrec(mpc,rm);
depMan.addPrec(prop,cstore);
depMan.addPrec(prop,csimple);
depMan.addPrec(prop,calloc);
depMan.addPrec(prop,cload);
depMan.addPrec(prop,pag);
depMan.addPrec(vcr,receivers);
depMan.addPrec(vcr,specials);
depMan.addPrec(vcr,scgb);
depMan.addPrec(vcr,rmout);
}