Searched refs:iFailPat (Results 1 – 1 of 1) sorted by relevance
56 int iFailPat; // failed pattern member602 p->iFailPat = -1; in Ssw_RarManCheckNonConstOutputs()612 p->iFailPat = Ssw_RarManObjWhichOne( p, pObj ); in Ssw_RarManCheckNonConstOutputs()1041 …qModel = Ssw_RarDeriveCex( p, r * p->pPars->nFrames + f, p->iFailPo, p->iFailPat, pPars->fVerbose … in Ssw_RarSimulate()1293 … pAig->pSeqModel = Ssw_RarDeriveCex( p, r * p->pPars->nFrames + f, p->iFailPo, p->iFailPat, 1 ); in Ssw_RarSignalFilter()