From 5e54ef3affa5fbd7e77e9b47fd4e873b43a5e48a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 3 May 2025 18:15:11 -0700 Subject: [PATCH] Adding printout of flops. --- src/aig/gia/giaMan.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index d0af551b0..7f3d27826 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -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" );