Searched refs:iVarNum (Results 1 – 1 of 1) sorted by relevance
676 int i, f, iVarNum; in Saig_BmcGenerateCounterExample() local689 iVarNum = Saig_BmcSatNum( p, pObjFrm ); in Saig_BmcGenerateCounterExample()690 if ( iVarNum == 0 ) in Saig_BmcGenerateCounterExample()692 …if ( p->pSat2 ? satoko_read_cex_varvalue(p->pSat2, iVarNum) : sat_solver_var_value(p->pSat, iVarNu… in Saig_BmcGenerateCounterExample()