From 3f758f20e85eeab1bd0311ab6a4049971f54cbc0 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 2 Apr 2020 15:43:43 -0700
Subject: Updating parameter in 'dump_equiv'.

---
 src/aig/gia/giaEquiv.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c
index ce92b72f..03b9b819 100644
--- a/src/aig/gia/giaEquiv.c
+++ b/src/aig/gia/giaEquiv.c
@@ -185,6 +185,7 @@ Gia_Man_t * Gia_ManComputeGiaEquivs( Gia_Man_t * pGia, int nConfs, int fVerbose
     Gia_Man_t * pTemp;
     Cec_ParFra_t ParsFra, * pPars = &ParsFra;
     Cec_ManFraSetDefaultParams( pPars );
+    pPars->nItersMax = 100;
     pPars->fUseOrigIds = 1;
     pPars->fSatSweeping = 1;
     pPars->nBTLimit = nConfs;
-- 
cgit v1.2.3