diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-16 14:20:52 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-16 14:20:52 +0700 |
commit | 23d36a8d5665d7a586777c9723c4aa803b253fc1 (patch) | |
tree | 69210b61d5602dac1dccdea7a62756e813adb1c4 /src/proof/abs/absIter.c | |
parent | d2747fb2815a4fea35a0bf23cb4941d61a1d99fc (diff) | |
download | abc-23d36a8d5665d7a586777c9723c4aa803b253fc1.tar.gz abc-23d36a8d5665d7a586777c9723c4aa803b253fc1.tar.bz2 abc-23d36a8d5665d7a586777c9723c4aa803b253fc1.zip |
Integrating Satoko into 'bmc' and 'bmc2'.
Diffstat (limited to 'src/proof/abs/absIter.c')
-rw-r--r-- | src/proof/abs/absIter.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/abs/absIter.c b/src/proof/abs/absIter.c index 7b660359..ff14132d 100644 --- a/src/proof/abs/absIter.c +++ b/src/proof/abs/absIter.c @@ -58,7 +58,7 @@ int Gia_IterTryImprove( Gia_Man_t * p, int nTimeOut, int iFrame0 ) int nBTLimitAll = 0; int fVerbose = 0; int RetValue, iFrame; - RetValue = Saig_BmcPerform( pAig, nStart, nFrames, nNodeDelta, nTimeOut, nBTLimit, nBTLimitAll, fVerbose, 0, &iFrame, 1 ); + RetValue = Saig_BmcPerform( pAig, nStart, nFrames, nNodeDelta, nTimeOut, nBTLimit, nBTLimitAll, fVerbose, 0, &iFrame, 1, 0 ); assert( RetValue == 0 || RetValue == -1 ); Aig_ManStop( pAig ); Gia_ManStop( pAbs ); |