summaryrefslogtreecommitdiffstats
path: root/src/base/abci
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2016-05-20 16:23:48 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2016-05-20 16:23:48 -0700
commit3b62ee457544bcc8f6191746bff895f2f98cddf9 (patch)
tree6b65c271d83a8e3066a0238b8c1e566adbbd4ae7 /src/base/abci
parent27c44fd644f7fa46a72e5b8b19465dc61752657d (diff)
downloadabc-3b62ee457544bcc8f6191746bff895f2f98cddf9.tar.gz
abc-3b62ee457544bcc8f6191746bff895f2f98cddf9.tar.bz2
abc-3b62ee457544bcc8f6191746bff895f2f98cddf9.zip
Enabling AIGs without structural hashing.
Diffstat (limited to 'src/base/abci')
-rw-r--r--src/base/abci/abc.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 551961c9..e1d69bf1 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -26761,7 +26761,7 @@ int Abc_CommandAbc9Get( Abc_Frame_t * pAbc, int argc, char ** argv )
Aig_ManStop( pAig );
// perform undc/zero
pInits = Abc_NtkCollectLatchValuesStr( pAbc->pNtkCur );
- pGia = Gia_ManDupZeroUndc( pTemp = pGia, pInits, fVerbose );
+ pGia = Gia_ManDupZeroUndc( pTemp = pGia, pInits, 0, fVerbose );
Gia_ManStop( pTemp );
ABC_FREE( pInits );
}
@@ -32141,7 +32141,7 @@ int Abc_CommandAbc9Cec( Abc_Frame_t * pAbc, int argc, char ** argv )
Gia_Man_t * pTemp;
if ( !pPars->fSilent )
Abc_Print( 1, "Assuming the current network is a single-output miter. (Conflict limit = %d.)\n", pPars->nBTLimit );
- pTemp = Gia_ManTransformToDual( pAbc->pGia );
+ pTemp = Gia_ManDemiterToDual( pAbc->pGia );
pAbc->Status = Cec_ManVerify( pTemp, pPars );
ABC_SWAP( Abc_Cex_t *, pAbc->pGia->pCexComb, pTemp->pCexComb );
Gia_ManStop( pTemp );