diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 23:57:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 23:57:58 -0700 |
| commit | f6b67d78464a10705d02a7491ca5ef78624f209c (patch) | |
| tree | 2e8bab3b18d67d42401a8bf3765e07825c1a8fb5 /src/base/abci/abcDar.c | |
| parent | 2071d9a732d0e0bf58a47466cf3570e9fe26fa6c (diff) | |
| download | abc-f6b67d78464a10705d02a7491ca5ef78624f209c.tar.gz abc-f6b67d78464a10705d02a7491ca5ef78624f209c.tar.bz2 abc-f6b67d78464a10705d02a7491ca5ef78624f209c.zip | |
Added new command &gla_shrink.
Diffstat (limited to 'src/base/abci/abcDar.c')
| -rw-r--r-- | src/base/abci/abcDar.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index bea8e6b9..97385b91 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -1905,7 +1905,7 @@ ABC_PRT( "Time", clock() - clk ); } else { - RetValue = Saig_BmcPerform( pMan, nStart, nFrames, nNodeDelta, nTimeOut, nBTLimit, nBTLimitAll, fVerbose, 0, piFrames ); + RetValue = Saig_BmcPerform( pMan, nStart, nFrames, nNodeDelta, nTimeOut, nBTLimit, nBTLimitAll, fVerbose, 0, piFrames, 0 ); ABC_FREE( pNtk->pModel ); ABC_FREE( pNtk->pSeqModel ); pNtk->pSeqModel = pMan->pSeqModel; pMan->pSeqModel = NULL; @@ -2414,7 +2414,7 @@ int Abc_NtkDarProve( Abc_Ntk_t * pNtk, Fra_Sec_t * pSecPar, int nBmcFramesMax, i if ( pSecPar->fTryBmc ) { - RetValue = Saig_BmcPerform( pMan, 0, nBmcFramesMax, 2000, 0, nBmcConfMax, 0, pSecPar->fVerbose, 0, &iFrame ); + RetValue = Saig_BmcPerform( pMan, 0, nBmcFramesMax, 2000, 0, nBmcConfMax, 0, pSecPar->fVerbose, 0, &iFrame, 0 ); if ( RetValue == 0 ) { Abc_Print( 1, "Networks are not equivalent.\n" ); |