diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-03-13 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-03-13 08:01:00 -0700 |
| commit | 81b51657f5c502e45418630614fd56e5e1506230 (patch) | |
| tree | 4fcda87840fb9cca09ac3b31b13aa73abce29a08 /src/base/main/mainMC.c | |
| parent | 243cb29e561d9ae4808f9ba27f980ea64a466881 (diff) | |
| download | abc-81b51657f5c502e45418630614fd56e5e1506230.tar.gz abc-81b51657f5c502e45418630614fd56e5e1506230.tar.bz2 abc-81b51657f5c502e45418630614fd56e5e1506230.zip | |
Version abc90313
Diffstat (limited to 'src/base/main/mainMC.c')
| -rw-r--r-- | src/base/main/mainMC.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/main/mainMC.c b/src/base/main/mainMC.c index dcabaf36..7761d428 100644 --- a/src/base/main/mainMC.c +++ b/src/base/main/mainMC.c @@ -91,7 +91,7 @@ int main( int argc, char * argv[] ) { // perform BMC if ( pAig->nRegs != 0 ) - RetValue = Saig_ManBmcSimple( pAig, nFrames, nSizeMax, nBTLimit, fRewrite, fVerbose, NULL ); + RetValue = Saig_ManBmcSimple( pAig, nFrames, nSizeMax, nBTLimit, fRewrite, fVerbose, NULL, 0 ); // perform full-blown SEC if ( RetValue != 0 ) @@ -120,7 +120,7 @@ int main( int argc, char * argv[] ) int nSizeMax = 500000; int nBTLimit = 10000000; int fRewrite = 0; - RetValue = Saig_ManBmcSimple( pAig, nFrames, nSizeMax, nBTLimit, fRewrite, fVerbose, &Depth ); + RetValue = Saig_ManBmcSimple( pAig, nFrames, nSizeMax, nBTLimit, fRewrite, fVerbose, &Depth, 0 ); if ( RetValue != 0 ) RetValue = -1; } |