Searched refs:nPatsInit (Results 1 – 1 of 1) sorted by relevance
914 int iPat = 0, nPatsInit, nPats; in Cec_ManSatSolveSeq() local917 nPatsInit = nPats = 32 * Vec_PtrReadWordsSimInfo(vPatts); in Cec_ManSatSolveSeq()954 if ( iPat % nPatsInit == 0 ) in Cec_ManSatSolveSeq()