Adding printout of flops.

This commit is contained in:
Alan Mishchenko 2025-05-03 18:15:11 -07:00
parent f9e4d06806
commit 5e54ef3aff
1 changed files with 1 additions and 0 deletions

View File

@ -474,6 +474,7 @@ void Gia_ManLogAigStats( Gia_Man_t * p, char * pDumpFile )
fprintf( pTable, " \"name\" : \"%s\",\n", p->pName );
fprintf( pTable, " \"input\" : %d,\n", Gia_ManCiNum(p) );
fprintf( pTable, " \"output\" : %d,\n", Gia_ManCoNum(p) );
fprintf( pTable, " \"flop\" : %d,\n", Gia_ManRegNum(p) );
fprintf( pTable, " \"and\" : %d,\n", Gia_ManAndNum(p) );
fprintf( pTable, " \"level\" : %d\n", Gia_ManLevelNum(p) );
fprintf( pTable, "}\n" );