From 2fea987ec68336e8663a0e69fbc07cc23b092eb1 Mon Sep 17 00:00:00 2001
From: Yen-Sheng Ho <ysho@berkeley.edu>
Date: Tue, 28 Mar 2017 14:08:04 -0700
Subject: %pdra: added an option -s

---
 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 d1eaf7c5..43b98d9a 100644
--- a/src/base/wlc/wlcNtk.c
+++ b/src/base/wlc/wlcNtk.c
@@ -125,6 +125,7 @@ void Wlc_ManSetDefaultParams( Wlc_Par_t * pPars )
     pPars->fAbs2         =            0;   // Use UFAR style createAbs
     pPars->fProofUsePPI  =            0;   // Use PPI values in PBR
     pPars->fUseBmc3      =            0;   // Run BMC3 in parallel
+    pPars->fShrinkAbs    =            0;   // Shrink Abs with BMC
     pPars->fVerbose      =            0;   // verbose output`
     pPars->fPdrVerbose   =            0;   // show verbose PDR output
 }
-- 
cgit v1.2.3