From f3a17d343a03a84e440acfc7336254f798e26ed2 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 26 Feb 2026 20:08:03 -0800 Subject: [PATCH] Fixing assertion failure introduced by a recent PR. --- src/misc/tim/timTime.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/misc/tim/timTime.c b/src/misc/tim/timTime.c index cc0aa5ffd..8626cf6bb 100644 --- a/src/misc/tim/timTime.c +++ b/src/misc/tim/timTime.c @@ -99,9 +99,10 @@ void Tim_ManInitPoRequiredAll( Tim_Man_t * p, float Delay ) Tim_Obj_t * pObj; int i; // If any PO or flop-input CO is constrained, leave all unchanged - Tim_ManForEachPo( p, pObj, i ) - if ( pObj->timeReq < TIM_ETERNITY ) - return; + // This led to an assertion failure in &if, so it is commented out below + //Tim_ManForEachPo( p, pObj, i ) + // if ( pObj->timeReq < TIM_ETERNITY ) + // return; // All unconstrained — set to max arrival time Tim_ManForEachPo( p, pObj, i ) Tim_ManSetCoRequired( p, i, Delay ); @@ -269,4 +270,3 @@ float Tim_ManGetCoRequired( Tim_Man_t * p, int iCo ) ABC_NAMESPACE_IMPL_END -