diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-07 15:38:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-07 15:38:54 -0700 |
| commit | 8efc9cb7a97ef16de0869656c7bf00f4e2111594 (patch) | |
| tree | ba397c1907dd7210f803522bd39ed2b405c22a28 /src/base/wlc/wlcBlast.c | |
| parent | 43ad54b9388f0b858f4401e77cfd5d7200819b93 (diff) | |
| download | abc-8efc9cb7a97ef16de0869656c7bf00f4e2111594.tar.gz abc-8efc9cb7a97ef16de0869656c7bf00f4e2111594.tar.bz2 abc-8efc9cb7a97ef16de0869656c7bf00f4e2111594.zip | |
Bug fixing in %blast when blasting mod operator (handling zero divisor).
Diffstat (limited to 'src/base/wlc/wlcBlast.c')
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 9a38567d..eb6a2db6 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -742,7 +742,8 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds ) else Wlc_BlastDivider( pNew, pArg0, nRangeMax, pArg1, nRangeMax, pObj->Type == WLC_OBJ_ARI_DIVIDE, vRes ); Vec_IntShrink( vRes, nRange ); - Wlc_BlastZeroCondition( pNew, pFans1, nRange1, vRes ); + if ( pObj->Type == WLC_OBJ_ARI_DIVIDE ) + Wlc_BlastZeroCondition( pNew, pFans1, nRange1, vRes ); } else if ( pObj->Type == WLC_OBJ_ARI_MINUS ) { |