diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-20 11:01:12 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-20 11:01:12 +0700 |
| commit | 4ca6612821a1f4506b7b2f2d534e720c43b766c2 (patch) | |
| tree | 6f8c64dc42eebfecbe25392ca3cd1cf0688cf92e /src/base/abci | |
| parent | bc63966e4a874b824e08c23f5fbb7b78d38de386 (diff) | |
| download | abc-4ca6612821a1f4506b7b2f2d534e720c43b766c2.tar.gz abc-4ca6612821a1f4506b7b2f2d534e720c43b766c2.tar.bz2 abc-4ca6612821a1f4506b7b2f2d534e720c43b766c2.zip | |
Fixed assertion failure when mitering with choices.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abcMiter.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcMiter.c b/src/base/abci/abcMiter.c index 5397f167..9cda4608 100644 --- a/src/base/abci/abcMiter.c +++ b/src/base/abci/abcMiter.c @@ -64,8 +64,8 @@ Abc_Ntk_t * Abc_NtkMiter( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int fComb, int n if ( !Abc_NtkCompareSignals( pNtk1, pNtk2, 0, fComb ) ) return NULL; // make sure the circuits are strashed - fRemove1 = (!Abc_NtkIsStrash(pNtk1)) && (pNtk1 = Abc_NtkStrash(pNtk1, 0, 0, 0)); - fRemove2 = (!Abc_NtkIsStrash(pNtk2)) && (pNtk2 = Abc_NtkStrash(pNtk2, 0, 0, 0)); + fRemove1 = (!Abc_NtkIsStrash(pNtk1) || Abc_NtkGetChoiceNum(pNtk1)) && (pNtk1 = Abc_NtkStrash(pNtk1, 0, 0, 0)); + fRemove2 = (!Abc_NtkIsStrash(pNtk2) || Abc_NtkGetChoiceNum(pNtk2)) && (pNtk2 = Abc_NtkStrash(pNtk2, 0, 0, 0)); if ( pNtk1 && pNtk2 ) pTemp = Abc_NtkMiterInt( pNtk1, pNtk2, fComb, nPartSize, fImplic, fMulti ); if ( fRemove1 ) Abc_NtkDelete( pNtk1 ); |