From 23d36a8d5665d7a586777c9723c4aa803b253fc1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 16 Aug 2017 14:20:52 +0700 Subject: Integrating Satoko into 'bmc' and 'bmc2'. --- src/base/main/mainMC.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/base/main') diff --git a/src/base/main/mainMC.c b/src/base/main/mainMC.c index 43d3ea85..482d8d35 100644 --- a/src/base/main/mainMC.c +++ b/src/base/main/mainMC.c @@ -94,7 +94,7 @@ int main( int argc, char * argv[] ) { // perform BMC if ( pAig->nRegs != 0 ) - RetValue = Saig_ManBmcSimple( pAig, nFrames, nSizeMax, nBTLimit, fRewrite, fVerbose, NULL, 0 ); + RetValue = Saig_ManBmcSimple( pAig, nFrames, nSizeMax, nBTLimit, fRewrite, fVerbose, NULL, 0, 0 ); // perform full-blown SEC if ( RetValue != 0 ) @@ -123,7 +123,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, 0 ); + RetValue = Saig_ManBmcSimple( pAig, nFrames, nSizeMax, nBTLimit, fRewrite, fVerbose, &Depth, 0, 0 ); if ( RetValue != 0 ) RetValue = -1; } -- cgit v1.2.3