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/aig/saig | |
| 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/aig/saig')
| -rw-r--r-- | src/aig/saig/saigTempor.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/saig/saigTempor.c b/src/aig/saig/saigTempor.c index d800537d..3ba22bec 100644 --- a/src/aig/saig/saigTempor.c +++ b/src/aig/saig/saigTempor.c @@ -223,7 +223,7 @@ Aig_Man_t * Saig_ManTempor( Aig_Man_t * pAig, int nFrames, int TimeOut, int nCon // run BMC2 if ( fUseBmc ) { - RetValue = Saig_BmcPerform( pAig, 0, nFrames, 2000, TimeOut, nConfLimit, 0, fVerbose, 0, &nFramesFinished, 0 ); + RetValue = Saig_BmcPerform( pAig, 0, nFrames, 2000, TimeOut, nConfLimit, 0, fVerbose, 0, &nFramesFinished, 0, 0 ); if ( RetValue == 0 ) { Vec_IntFreeP( &vTransSigs ); |