diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-04 17:45:24 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-04 17:45:24 -0700 |
| commit | a1e9f668a88f01dccda8da1bc5ca8e22211b1751 (patch) | |
| tree | 277a1c1e6b11945a906ae5e8c0c4e6fa8feb0bd8 /src/base/wlc | |
| parent | 26dc25b7f5e23689636b4d89b98281e821cf7fe8 (diff) | |
| download | abc-a1e9f668a88f01dccda8da1bc5ca8e22211b1751.tar.gz abc-a1e9f668a88f01dccda8da1bc5ca8e22211b1751.tar.bz2 abc-a1e9f668a88f01dccda8da1bc5ca8e22211b1751.zip | |
Adding support for black boxes in extended AIG.
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 757a8005..c5a6ab2f 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -613,7 +613,7 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds ) pObj->Mark = 0; // create new box - Tim_ManCreateBox( pManTime, curPo, nRange0 + nRange1, curPi, nRange, -1 ); + Tim_ManCreateBox( pManTime, curPo, nRange0 + nRange1, curPi, nRange, -1, 0 ); curPi += nRange; curPo += nRange0 + nRange1; |