From d556ad65ff4b1ef172ec041a0b4c85f4e1ae909e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 6 Sep 2020 23:15:21 -0700
Subject: Adding switch &cec -w to print SAT solver stats.

---
 src/proof/cec/cecCec.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/proof/cec/cecCec.c')

diff --git a/src/proof/cec/cecCec.c b/src/proof/cec/cecCec.c
index d450cead..cfa07ff8 100644
--- a/src/proof/cec/cecCec.c
+++ b/src/proof/cec/cecCec.c
@@ -360,6 +360,7 @@ int Cec_ManVerify( Gia_Man_t * pInit, Cec_ParCec_t * pPars )
     pParsFra->nBTLimit     = pPars->nBTLimit;
     pParsFra->TimeLimit    = pPars->TimeLimit;
     pParsFra->fVerbose     = pPars->fVerbose;
+    pParsFra->fVeryVerbose = pPars->fVeryVerbose;
     pParsFra->fCheckMiter  = 1;
     pParsFra->fDualOut     = 1;
     pNew = Cec_ManSatSweeping( p, pParsFra, pPars->fSilent );
-- 
cgit v1.2.3