From 4853ae9cab699ff2cde629c85d9291c48ce20f54 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 16 Jan 2020 22:22:07 -0800
Subject: [PATCH] Adding AIG stats logging (using JSON format).

---
 src/aig/gia/giaMan.c | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index ef9139046..8df96ee0f 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*************************************************************