diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-16 22:22:07 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-16 22:22:07 -0800 |
| commit | 4853ae9cab699ff2cde629c85d9291c48ce20f54 (patch) | |
| tree | 915789bcf8b1ea66dbdccd84ce4932bf153bc72e /src | |
| parent | a7c9f6d12da2e3cbc25125dbc74620777fe97030 (diff) | |
| download | abc-4853ae9cab699ff2cde629c85d9291c48ce20f54.tar.gz abc-4853ae9cab699ff2cde629c85d9291c48ce20f54.tar.bz2 abc-4853ae9cab699ff2cde629c85d9291c48ce20f54.zip | |
Adding AIG stats logging (using JSON format).
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaMan.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index ef913904..8df96ee0 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -444,6 +444,7 @@ int Gia_ManPrintEdges( Gia_Man_t * p ) SeeAlso [] ***********************************************************************/ +/* void Gia_ManLogAigStats( Gia_Man_t * p, char * pDumpFile ) { FILE * pTable = fopen( pDumpFile, "wb" ); @@ -455,6 +456,19 @@ void Gia_ManLogAigStats( Gia_Man_t * p, char * pDumpFile ) fprintf( pTable, "\n" ); fclose( pTable ); } +*/ +void Gia_ManLogAigStats( Gia_Man_t * p, char * pDumpFile ) +{ + FILE * pTable = fopen( pDumpFile, "wb" ); + fprintf( pTable, "{\n" ); + 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, " \"and\" : %d,\n", Gia_ManAndNum(p) ); + fprintf( pTable, " \"level\" : %d\n", Gia_ManLevelNum(p) ); + fprintf( pTable, "}\n" ); + fclose( pTable ); +} /**Function************************************************************* |