From f6b67d78464a10705d02a7491ca5ef78624f209c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 4 Sep 2012 23:57:58 -0700 Subject: Added new command &gla_shrink. --- src/proof/ssw/sswRarity.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof') diff --git a/src/proof/ssw/sswRarity.c b/src/proof/ssw/sswRarity.c index 7d12b724..d13e82ee 100644 --- a/src/proof/ssw/sswRarity.c +++ b/src/proof/ssw/sswRarity.c @@ -927,7 +927,7 @@ int Ssw_RarSimulate( Aig_Man_t * pAig, int nFrames, int nWords, int nBinSize, in if ( fTryBmc ) { Aig_Man_t * pNewAig = Saig_ManDupWithPhase( pAig, p->vInits ); - Saig_BmcPerform( pNewAig, 0, 100, 2000, 3, 0, 0, 1 /*fVerbose*/, 0, &iFrameFail ); + Saig_BmcPerform( pNewAig, 0, 100, 2000, 3, 0, 0, 1 /*fVerbose*/, 0, &iFrameFail, 0 ); // if ( pNewAig->pSeqModel != NULL ) // printf( "BMC has found a counter-example in frame %d.\n", iFrameFail ); Aig_ManStop( pNewAig ); -- cgit v1.2.3