From 0d054904e0416179c8c2bf12dc47b520a2922a32 Mon Sep 17 00:00:00 2001
From: Yen-Sheng Ho <ysho@berkeley.edu>
Date: Sat, 18 Mar 2017 15:23:50 -0700
Subject: %pdra: working on bmc3

---
 src/base/wlc/wlcNtk.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/base/wlc/wlcNtk.c')

diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c
index 8c6f8fbe..d1eaf7c5 100644
--- a/src/base/wlc/wlcNtk.c
+++ b/src/base/wlc/wlcNtk.c
@@ -124,6 +124,7 @@ void Wlc_ManSetDefaultParams( Wlc_Par_t * pPars )
     pPars->fCheckCombUnsat =          0;   // Check if ABS becomes comb. unsat
     pPars->fAbs2         =            0;   // Use UFAR style createAbs
     pPars->fProofUsePPI  =            0;   // Use PPI values in PBR
+    pPars->fUseBmc3      =            0;   // Run BMC3 in parallel
     pPars->fVerbose      =            0;   // verbose output`
     pPars->fPdrVerbose   =            0;   // show verbose PDR output
 }
-- 
cgit v1.2.3