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

Commenting out an assertion.

This commit is contained in:
Alan Mishchenko 2026-01-29 11:33:37 +07:00
parent 29656286cf
commit ade1882ffc
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/aig/gia/giaTim.c
View File

@ -77,7 +77,8 @@ int Gia_ManClockDomainNum( Gia_Man_t * p )
if ( p->vRegClasses == NULL )
return 0;
nDoms = Vec_IntFindMax(p->vRegClasses);
assert( Vec_IntCountEntry(p->vRegClasses, 0) == 0 );
// Class 0 is now allowed - means unmergeable flops not in any clock domain
// assert( Vec_IntCountEntry(p->vRegClasses, 0) == 0 );
for ( i = 1; i <= nDoms; i++ )
if ( Vec_IntCountEntry(p->vRegClasses, i) > 0 )
Count++;