diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-09 09:23:39 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-09 09:23:39 -0800 |
commit | 19e4604b1fd75ddba54ba2e8d16c136a12580217 (patch) | |
tree | 85115c918f7206de572557ecbc9d498ad21c95c4 /src/base/abci/abcCollapse.c | |
parent | 58c2584e2a667e8fa95e2fe093c2b6f7c491c139 (diff) | |
download | abc-19e4604b1fd75ddba54ba2e8d16c136a12580217.tar.gz abc-19e4604b1fd75ddba54ba2e8d16c136a12580217.tar.bz2 abc-19e4604b1fd75ddba54ba2e8d16c136a12580217.zip |
Improvements to 'satclp'.
Diffstat (limited to 'src/base/abci/abcCollapse.c')
-rw-r--r-- | src/base/abci/abcCollapse.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcCollapse.c b/src/base/abci/abcCollapse.c index 77ca4f50..d7cd4177 100644 --- a/src/base/abci/abcCollapse.c +++ b/src/base/abci/abcCollapse.c @@ -817,7 +817,7 @@ Vec_Ptr_t * Abc_GiaDeriveSops( Abc_Ntk_t * pNtkNew, Gia_Man_t * p, Vec_Wec_t * v Vec_PtrWriteEntry( vSopsRepr, iEntry, (void *)(ABC_PTRINT_T)1 ); continue; } - if ( fCnfShared ) + if ( fCnfShared && !fCanon ) vSop = Abc_NtkClpGiaOne2( pCnf, p, iCoThis, nCubeLim, nBTLimit, fCanon, fReverse, vSupp, vMap, i ? 0 : fVerbose, Vec_WecEntry(vClasses, iEntry), vSupps ); else vSop = Abc_NtkClpGiaOne( p, iCoThis, nCubeLim, nBTLimit, fCanon, fReverse, vSupp, i ? 0 : fVerbose, Vec_WecEntry(vClasses, iEntry), vSupps ); |