Skip to content

A
abc
Commit 4853ae9c by Alan Mishchenko
Options

Adding AIG stats logging (using JSON format).

parent a7c9f6d1
Showing with 14 additions and 0 deletions
src/aig/gia/giaMan.c
...@@ -444,6 +444,7 @@ int Gia_ManPrintEdges( Gia_Man_t * p ) ...@@ -444,6 +444,7 @@ int Gia_ManPrintEdges( Gia_Man_t * p )
SeeAlso [] SeeAlso []
***********************************************************************/ ***********************************************************************/
/*
void Gia_ManLogAigStats( Gia_Man_t * p, char * pDumpFile ) void Gia_ManLogAigStats( Gia_Man_t * p, char * pDumpFile )
{ {
FILE * pTable = fopen( pDumpFile, "wb" ); FILE * pTable = fopen( pDumpFile, "wb" );
...@@ -455,6 +456,19 @@ void Gia_ManLogAigStats( Gia_Man_t * p, char * pDumpFile ) ...@@ -455,6 +456,19 @@ void Gia_ManLogAigStats( Gia_Man_t * p, char * pDumpFile )
fprintf( pTable, "\n" ); fprintf( pTable, "\n" );
fclose( pTable ); 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************************************************************* /**Function*************************************************************
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment