Searched refs:nFuncVars (Results 1 – 1 of 1) sorted by relevance
1116 if ( i >= nFuncVars ) in Gia_ManFaultAddOne()1156 if ( i >= nFuncVars ) in Gia_ManDumpUntests()1435 if ( i >= nFuncVars ) in Gia_ManFaultPrepare()1443 if ( i >= nFuncVars ) in Gia_ManFaultPrepare()1600 nFuncVars = Gia_ManCiNum(p); in Gia_ManFaultTest()1604 nFuncVars = Gia_ManCiNum(p); in Gia_ManFaultTest()1606 nFuncVars = Gia_ManCiNum(p); in Gia_ManFaultTest()1608 nFuncVars = Gia_ManCiNum(p); in Gia_ManFaultTest()1639 if ( i >= nFuncVars ) in Gia_ManFaultTest()1690 if ( i < nFuncVars ) in Gia_ManFaultTest()[all …]