diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-02 15:43:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-02 15:43:43 -0700 |
| commit | 3f758f20e85eeab1bd0311ab6a4049971f54cbc0 (patch) | |
| tree | 446bf08103ca8fe731c949d147b1f9ce4af19cc8 | |
| parent | 1b83b4b2736a2402647a7036a76362860bc1a0ee (diff) | |
| download | abc-3f758f20e85eeab1bd0311ab6a4049971f54cbc0.tar.gz abc-3f758f20e85eeab1bd0311ab6a4049971f54cbc0.tar.bz2 abc-3f758f20e85eeab1bd0311ab6a4049971f54cbc0.zip | |
Updating parameter in 'dump_equiv'.
| -rw-r--r-- | src/aig/gia/giaEquiv.c | 1 |
1 files changed, 1 insertions, 0 deletions
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; |