diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-10 13:56:40 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-10 13:56:40 -0800 |
| commit | 2575a5d6836c5bd8160b8e965c622e358b2dc742 (patch) | |
| tree | 92eaa25ce4be9b47651e043e93fe55c7ea99b342 /src/proof/cec/cecCore.c | |
| parent | f7b7ab59cf842053cc2819c9a569839dc970ed85 (diff) | |
| download | abc-2575a5d6836c5bd8160b8e965c622e358b2dc742.tar.gz abc-2575a5d6836c5bd8160b8e965c622e358b2dc742.tar.bz2 abc-2575a5d6836c5bd8160b8e965c622e358b2dc742.zip | |
Unifification of custom extensions.
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 c45bd974..40d5fba6 100644 --- a/src/proof/cec/cecCore.c +++ b/src/proof/cec/cecCore.c @@ -398,7 +398,7 @@ p->timeSim += clock() - clk; } pSrm = Cec_ManFraSpecReduction( p ); -// Gia_WriteAiger( pSrm, "gia_srm.aig", 0, 0 ); +// Gia_AigerWrite( pSrm, "gia_srm.aig", 0, 0 ); if ( pPars->fVeryVerbose ) Gia_ManPrintStats( pSrm, 0, 0, 0 ); @@ -481,7 +481,7 @@ p->timeSat += clock() - clk; Abc_Print( 1, "Increasing conflict limit to %d.\n", pParsSat->nBTLimit ); if ( fOutputResult ) { - Gia_WriteAiger( p->pAig, "gia_cec_temp.aig", 0, 0 ); + Gia_AigerWrite( p->pAig, "gia_cec_temp.aig", 0, 0 ); Abc_Print( 1,"The result is written into file \"%s\".\n", "gia_cec_temp.aig" ); } } |