From 5adfd0030d464dadcffa6729979dc71abb89f891 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 29 Aug 2025 18:41:38 -0700 Subject: [PATCH] Silencing benign assertion failure (Issue #428) --- src/map/if/ifTime.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/map/if/ifTime.c b/src/map/if/ifTime.c index a1b51d6ad..216e4ce5c 100644 --- a/src/map/if/ifTime.c +++ b/src/map/if/ifTime.c @@ -225,17 +225,17 @@ void If_CutPropagateRequired( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut, fl if ( p->pPars->fDelayOpt ) { int Delay = If_CutSopBalancePinDelays( p, pCut, pPerm ); - assert( Delay == (int)pCut->Delay ); + assert( -Delay > IF_INFINITY/2 || Delay > IF_INFINITY/2 || Delay == (int)pCut->Delay ); } else if ( p->pPars->fDelayOptLut ) { int Delay = If_CutLutBalancePinDelays( p, pCut, pPerm ); - assert( Delay == (int)pCut->Delay ); + assert( -Delay > IF_INFINITY/2 || Delay > IF_INFINITY/2 || Delay == (int)pCut->Delay ); } else if ( p->pPars->fDsdBalance ) { int Delay = If_CutDsdBalancePinDelays( p, pCut, pPerm ); - assert( Delay == (int)pCut->Delay ); + assert( -Delay > IF_INFINITY/2 || Delay > IF_INFINITY/2 || Delay == (int)pCut->Delay ); } else pPerm = If_CutPerm(pCut);