diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-28 22:05:46 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-28 22:05:46 -0800 |
| commit | f27979fc8fd5663d2bc9d9bad3fcbed2acfc4e17 (patch) | |
| tree | 32cecbcbad6ecbce283584c9790c99cd81e32e09 /src/base/wlc/wlcBlast.c | |
| parent | 2fcdd113162665234486485c6c150c3f5521b80c (diff) | |
| download | abc-f27979fc8fd5663d2bc9d9bad3fcbed2acfc4e17.tar.gz abc-f27979fc8fd5663d2bc9d9bad3fcbed2acfc4e17.tar.bz2 abc-f27979fc8fd5663d2bc9d9bad3fcbed2acfc4e17.zip | |
Improvements to the SMTLIB parser.
Diffstat (limited to 'src/base/wlc/wlcBlast.c')
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 4a935f6b..a4e5459e 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -107,6 +107,8 @@ void Wlc_BlastShiftRight( Gia_Man_t * pNew, int * pNum, int nNum, int * pShift, int * pRes = Wlc_VecCopy( vRes, pNum, nNum ); int Fill = fSticky ? pNum[nNum-1] : 0; int i, j, fShort = 0; + if ( nShift > 32 ) + nShift = 32; assert( nShift <= 32 ); for( i = 0; i < nShift; i++ ) for( j = 0; j < nNum - fSticky; j++ ) @@ -126,6 +128,8 @@ void Wlc_BlastShiftLeft( Gia_Man_t * pNew, int * pNum, int nNum, int * pShift, i int * pRes = Wlc_VecCopy( vRes, pNum, nNum ); int Fill = fSticky ? pNum[0] : 0; int i, j, fShort = 0; + if ( nShift > 32 ) + nShift = 32; assert( nShift <= 32 ); for( i = 0; i < nShift; i++ ) for( j = nNum-1; j >= fSticky; j-- ) |