Adding switch &w -n to modify the comment section of the AIGER file written.

7 files changed, 14 insertions, 14 deletions

diff --git a/src/sat/bmc/bmcBmcAnd.c b/src/sat/bmc/bmcBmcAnd.c
index 04d44353..b9c2db2c 100644
--- a/src/sat/bmc/bmcBmcAnd.c
+++ b/src/sat/bmc/bmcBmcAnd.c
@@ -711,7 +711,7 @@ int Gia_ManBmcPerform_Unr( Gia_Man_t * pGia, Bmc_AndPar_t * pPars )
     if ( pPars->fDumpFrames )
     {
         p->pFrames = Gia_ManCleanup( p->pFrames );
-        Gia_AigerWrite( p->pFrames, "frames.aig", 0, 0 );
+        Gia_AigerWrite( p->pFrames, "frames.aig", 0, 0, 0 );
         printf( "Dumped unfolded frames into file \"frames.aig\".\n" );
         Gia_ManStop( p->pFrames );
     }
@@ -793,7 +793,7 @@ int Gia_ManBmcPerform_old_cnf( Gia_Man_t * pGia, Bmc_AndPar_t * pPars )
         Gia_ManPrintStats( p->pFrames, NULL );
     if ( pPars->fDumpFrames )
     {
-        Gia_AigerWrite( p->pFrames, "frames.aig", 0, 0 );
+        Gia_AigerWrite( p->pFrames, "frames.aig", 0, 0, 0 );
         printf( "Dumped unfolded frames into file \"frames.aig\".\n" );
     }
     for ( f = 0; f < nFramesMax; f++ )
@@ -977,7 +977,7 @@ int Gia_ManBmcPerformInt( Gia_Man_t * pGia, Bmc_AndPar_t * pPars )
         Gia_ManPrintStats( p->pFrames, NULL );
     if ( pPars->fDumpFrames )
     {
-        Gia_AigerWrite( p->pFrames, "frames.aig", 0, 0 );
+        Gia_AigerWrite( p->pFrames, "frames.aig", 0, 0, 0 );
         printf( "Dumped unfolded frames into file \"frames.aig\".\n" );
     }
     if ( pPars->fUseOldCnf )
diff --git a/src/sat/bmc/bmcCexDepth.c b/src/sat/bmc/bmcCexDepth.c
index 38b57d5f..f0883f9a 100644
--- a/src/sat/bmc/bmcCexDepth.c
+++ b/src/sat/bmc/bmcCexDepth.c
@@ -110,7 +110,7 @@ Gia_Man_t * Bmc_CexTarget( Gia_Man_t * p, int nFrames )
     Gia_ManPrintStats( pNew, NULL );
     pTemp = Gia_ManDupAppendCones( p, &pNew, 1, 1 );
     Gia_ManStop( pNew );
-    Gia_AigerWrite( pTemp, "miter3.aig", 0, 0 );
+    Gia_AigerWrite( pTemp, "miter3.aig", 0, 0, 0 );
     return pTemp;
 }
 
@@ -308,7 +308,7 @@ Gia_Man_t * Bmc_CexBuildNetwork2Test( Gia_Man_t * p, Abc_Cex_t * pCex, int nFram
         Vec_PtrPush( vCones, pNew );
     }
     pNew = Gia_ManDupAppendCones( p, (Gia_Man_t **)Vec_PtrArray(vCones), Vec_PtrSize(vCones), 1 );
-    Gia_AigerWrite( pNew, "miter2.aig", 0, 0 );
+    Gia_AigerWrite( pNew, "miter2.aig", 0, 0, 0 );
 //Bmc_CexDumpAogStats( pNew, Abc_Clock() - clk );
     Vec_PtrForEachEntry( Gia_Man_t *, vCones, pTemp, i )
         Gia_ManStop( pTemp );
diff --git a/src/sat/bmc/bmcCexMin2.c b/src/sat/bmc/bmcCexMin2.c
index b8514601..b39b8eec 100644
--- a/src/sat/bmc/bmcCexMin2.c
+++ b/src/sat/bmc/bmcCexMin2.c
@@ -334,7 +334,7 @@ Abc_Cex_t * Gia_ManCexMin( Gia_Man_t * p, Abc_Cex_t * pCex, int iFrameStart, int
         printf( "%3d : ", iFrameStart );
         Gia_ManPrintStats( pNew, NULL );
         if ( fVerbose )
-            Gia_AigerWrite( pNew, "temp.aig", 0, 0 );
+            Gia_AigerWrite( pNew, "temp.aig", 0, 0, 0 );
         Gia_ManStop( pNew );
     }
     else // CEX min
@@ -345,7 +345,7 @@ Abc_Cex_t * Gia_ManCexMin( Gia_Man_t * p, Abc_Cex_t * pCex, int iFrameStart, int
             printf( "%3d : ", f );
             Gia_ManPrintStats( pNew, NULL );
             if ( fVerbose )
-                Gia_AigerWrite( pNew, "temp.aig", 0, 0 );
+                Gia_AigerWrite( pNew, "temp.aig", 0, 0, 0 );
             Gia_ManStop( pNew );
         }
     }
diff --git a/src/sat/bmc/bmcCexTools.c b/src/sat/bmc/bmcCexTools.c
index 9c80b278..5a29c8bc 100644
--- a/src/sat/bmc/bmcCexTools.c
+++ b/src/sat/bmc/bmcCexTools.c
@@ -173,7 +173,7 @@ void Bmc_CexPerformUnrollingTest( Gia_Man_t * p, Abc_Cex_t * pCex )
     abctime clk = Abc_Clock();
     pNew = Bmc_CexPerformUnrolling( p, pCex );
     Gia_ManPrintStats( pNew, NULL );
-    Gia_AigerWrite( pNew, "unroll.aig", 0, 0 );
+    Gia_AigerWrite( pNew, "unroll.aig", 0, 0, 0 );
 //Bmc_CexDumpAogStats( pNew, Abc_Clock() - clk );
     Gia_ManStop( pNew );
     printf( "CE-induced network is written into file \"unroll.aig\".\n" );
@@ -285,7 +285,7 @@ void Bmc_CexBuildNetworkTest( Gia_Man_t * p, Abc_Cex_t * pCex )
     abctime clk = Abc_Clock();
     pNew = Bmc_CexBuildNetwork( p, pCex );
     Gia_ManPrintStats( pNew, NULL );
-    Gia_AigerWrite( pNew, "unate.aig", 0, 0 );
+    Gia_AigerWrite( pNew, "unate.aig", 0, 0, 0 );
 //Bmc_CexDumpAogStats( pNew, Abc_Clock() - clk );
     Gia_ManStop( pNew );
     printf( "CE-induced network is written into file \"unate.aig\".\n" );
diff --git a/src/sat/bmc/bmcEco.c b/src/sat/bmc/bmcEco.c
index 9d30fc09..b42d527a 100644
--- a/src/sat/bmc/bmcEco.c
+++ b/src/sat/bmc/bmcEco.c
@@ -291,7 +291,7 @@ void Bmc_EcoMiterTest()
         Vec_IntPush( vFans, Gia_ObjId(pOld, pObj) );
     pMiter = Bmc_EcoMiter( pGold, pOld, vFans );
     Vec_IntFree( vFans );
-    Gia_AigerWrite( pMiter, "eco_miter.aig", 0, 0 );
+    Gia_AigerWrite( pMiter, "eco_miter.aig", 0, 0, 0 );
     // find the patch
     RetValue = Bmc_EcoPatch( pMiter, Gia_ManCiNum(pGold), Gia_ManCoNum(pGold) );
     if ( RetValue == 1 )
diff --git a/src/sat/bmc/bmcFault.c b/src/sat/bmc/bmcFault.c
index 096d8aaa..28d8a0c1 100644
--- a/src/sat/bmc/bmcFault.c
+++ b/src/sat/bmc/bmcFault.c
@@ -754,7 +754,7 @@ Gia_Man_t * Gia_ManFormulaUnfold( Gia_Man_t * p, char * pForm, int fFfOnly )
     Gia_ManStop( pTemp );
     assert( Gia_ManPiNum(pNew) == Gia_ManCiNum(p) + nPars * (fFfOnly ? Count : Gia_ManAndNum(p)) );
 //    if ( fUseFaults )
-//        Gia_AigerWrite( pNew, "newfault.aig", 0, 0 );
+//        Gia_AigerWrite( pNew, "newfault.aig", 0, 0, 0 );
     return pNew;
 }
 
@@ -1260,7 +1260,7 @@ int Gia_ManFaultPrepare( Gia_Man_t * p, Gia_Man_t * pG, Bmc_ParFf_t * pPars, int
         p1 = Gia_ManFOFUnfold( p, vMap );
     if ( pPars->Algo != 1 )
         p0 = Gia_ManDeriveDup( pG, Gia_ManCiNum(p1) - Gia_ManCiNum(pG) );
-//    Gia_AigerWrite( p1, "newfault.aig", 0, 0 );
+//    Gia_AigerWrite( p1, "newfault.aig", 0, 0, 0 );
 //    printf( "Dumped circuit with fault parameters into file \"newfault.aig\".\n" );
 
     // create miter
diff --git a/src/sat/bmc/bmcUnroll.c b/src/sat/bmc/bmcUnroll.c
index 0ad9271b..10513936 100644
--- a/src/sat/bmc/bmcUnroll.c
+++ b/src/sat/bmc/bmcUnroll.c
@@ -489,8 +489,8 @@ void Unr_ManTest( Gia_Man_t * pGia, int nFrames )
 
 Gia_ManPrintStats( pFrames0, NULL );
 Gia_ManPrintStats( pFrames1, NULL );
-Gia_AigerWrite( pFrames0, "frames0.aig", 0, 0 );
-Gia_AigerWrite( pFrames1, "frames1.aig", 0, 0 );
+Gia_AigerWrite( pFrames0, "frames0.aig", 0, 0, 0 );
+Gia_AigerWrite( pFrames1, "frames1.aig", 0, 0, 0 );
 
     Gia_ManStop( pFrames0 );
     Gia_ManStop( pFrames1 );