diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-11-21 13:12:01 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-11-21 13:12:01 -0800 |
| commit | 5aa3025ce7264a172a070a78d7b7db0cd1fca3f0 (patch) | |
| tree | 9a54b8971c74cea29c1752aefdc7d650348f7ff4 /src/proof/cec/cecCore.c | |
| parent | 73695c79619fae580fa0f465ba28e1ea51f0b5e1 (diff) | |
| download | abc-5aa3025ce7264a172a070a78d7b7db0cd1fca3f0.tar.gz abc-5aa3025ce7264a172a070a78d7b7db0cd1fca3f0.tar.bz2 abc-5aa3025ce7264a172a070a78d7b7db0cd1fca3f0.zip | |
Adding switch &w -n to modify the comment section of the AIGER file written.
Diffstat (limited to 'src/proof/cec/cecCore.c')
| -rw-r--r-- | src/proof/cec/cecCore.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/cec/cecCore.c b/src/proof/cec/cecCore.c index 250cb69e..b9529658 100644 --- a/src/proof/cec/cecCore.c +++ b/src/proof/cec/cecCore.c @@ -407,7 +407,7 @@ p->timeSim += Abc_Clock() - clk; } pSrm = Cec_ManFraSpecReduction( p ); -// Gia_AigerWrite( pSrm, "gia_srm.aig", 0, 0 ); +// Gia_AigerWrite( pSrm, "gia_srm.aig", 0, 0, 0 ); if ( pPars->fVeryVerbose ) Gia_ManPrintStats( pSrm, NULL ); @@ -493,7 +493,7 @@ p->timeSat += Abc_Clock() - clk; Abc_Print( 1, "Increasing conflict limit to %d.\n", pParsSat->nBTLimit ); if ( fOutputResult ) { - Gia_AigerWrite( p->pAig, "gia_cec_temp.aig", 0, 0 ); + Gia_AigerWrite( p->pAig, "gia_cec_temp.aig", 0, 0, 0 ); Abc_Print( 1,"The result is written into file \"%s\".\n", "gia_cec_temp.aig" ); } } |