- with _ -> let res = result (self_q,self_r) qf qn list_tr in
- HashRun.add hashMax ((self_q,self_r),qf,qn,list_tr,lab) res;
- res in
+ with _ ->
+ incr num_miss_tp_max_fixpoint;
+ let res = result (self_q,self_r) qf qn list_tr in
+ HashRun.add hashMax ((self_q,self_r),qf,qn,list_tr,lab) res;
+ res in