Apply patch to If_ObjPerformMappingChoice too

(cherry picked from commit accf50468a)
This commit is contained in:
David A Roberts 2024-04-01 10:03:10 +10:00 committed by Martin Povišer
parent eef8c01340
commit 3e65b25942
1 changed files with 1 additions and 1 deletions

View File

@ -558,7 +558,7 @@ void If_ObjPerformMappingChoice( If_Man_t * p, If_Obj_t * pObj, int Mode, int fP
continue;
// check if the cut satisfies the required times
// assert( pCut->Delay == If_CutDelay( p, pTemp, pCut ) );
if ( Mode && pCut->Delay > pObj->Required + p->fEpsilon )
if ( Mode && pCut->Delay > pObj->Required + p->fEpsilon && pCutSet->nCuts > 0 )
continue;
// set the phase attribute
pCut->fCompl = pObj->fPhase ^ pTemp->fPhase;