luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fixing assertion failure introduced by a recent PR.

This commit is contained in:
Alan Mishchenko 2026-02-26 20:08:03 -08:00
parent 4e5c5e62af
commit f3a17d343a
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/misc/tim/timTime.c
View File

@ -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