From 2e92256fb7bb64454a9f2c7b0bf8d1020b0ac78f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 22 Nov 2020 21:34:33 -1000
Subject: Passing conflict limit to &cec.

---
 src/proof/cec/cecSatG2.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/proof/cec')

diff --git a/src/proof/cec/cecSatG2.c b/src/proof/cec/cecSatG2.c
index 3e6372af..a6e99a3e 100644
--- a/src/proof/cec/cecSatG2.c
+++ b/src/proof/cec/cecSatG2.c
@@ -1802,12 +1802,13 @@ void Cec4_ManSimulateTest2( Gia_Man_t * p, int fVerbose )
     if ( fVerbose )
         Abc_PrintTime( 1, "New choice computation time", Abc_Clock() - clk );
 }
-Gia_Man_t * Cec4_ManSimulateTest3( Gia_Man_t * p, int fVerbose )
+Gia_Man_t * Cec4_ManSimulateTest3( Gia_Man_t * p, int nBTLimit, int fVerbose )
 {
     Gia_Man_t * pNew = NULL;
     Cec_ParFra_t ParsFra, * pPars = &ParsFra;
     Cec4_ManSetParams( pPars );
     pPars->fVerbose = fVerbose;
+    pPars->nBTLimit = nBTLimit;
     Cec4_ManPerformSweeping( p, pPars, &pNew );
     return pNew;
 }
-- 
cgit v1.2.3