Merge pull request #255 from phsauter/fix-scl-regression

Fix Segfault in scl
This commit is contained in:
alanminko 2025-02-15 05:28:25 +07:00 committed by GitHub
commit a2e4c153c9
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -200,7 +200,7 @@ void Abc_SclTimeNtkPrint( SC_Man * p, int fShowAll, int fPrintPath )
while ( pObj && Abc_ObjIsNode(pObj) )
{
i++;
nLength = Abc_MaxInt( nLength, strlen(Abc_SclObjCell(pObj)->pName) );
nLength = Abc_MaxInt( nLength, Abc_SclObjCell(pObj) ? strlen(Abc_SclObjCell(pObj)->pName) : 2 /* strlen("pi") */ );
pObj = Abc_SclFindMostCriticalFanin( p, &fRise, pObj );
}