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

Silencing benign assertion failure (Issue #428)

This commit is contained in:
Alan Mishchenko 2025-08-29 18:41:38 -07:00
parent 4dfa49774f
commit 5adfd0030d
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/map/if/ifTime.c
View File

@ -225,17 +225,17 @@ void If_CutPropagateRequired( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut, fl
if ( p->pPars->fDelayOpt ) if ( p->pPars->fDelayOpt )
{ {
int Delay = If_CutSopBalancePinDelays( p, pCut, pPerm ); 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 ) else if ( p->pPars->fDelayOptLut )
{ {
int Delay = If_CutLutBalancePinDelays( p, pCut, pPerm ); 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 ) else if ( p->pPars->fDsdBalance )
{ {
int Delay = If_CutDsdBalancePinDelays( p, pCut, pPerm ); 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 else
pPerm = If_CutPerm(pCut); pPerm = If_CutPerm(pCut);