diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-27 23:06:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-27 23:06:39 -0700 |
| commit | a90700c7537e85fd5178a5f41d82cbad35234fcf (patch) | |
| tree | a6791051e5908cef09fafabcd02b26dfc1288683 | |
| parent | b3e6cb30bb9e37e688ac11f6f69156646676c11c (diff) | |
| download | abc-a90700c7537e85fd5178a5f41d82cbad35234fcf.tar.gz abc-a90700c7537e85fd5178a5f41d82cbad35234fcf.tar.bz2 abc-a90700c7537e85fd5178a5f41d82cbad35234fcf.zip | |
Correcting assert in converting standard cell mapping from GIA into ABC.
| -rw-r--r-- | src/base/abci/abcDar.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 92235822..7a9f8b66 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -963,7 +963,7 @@ Abc_Ntk_t * Abc_NtkFromCellMappedGia( Gia_Man_t * p ) } else { - assert( Gia_ObjCellId(p, iLit) > 0 ); + assert( Gia_ObjCellId(p, iLit) >= 0 ); pObjNew = Abc_NtkCreateNode( pNtkNew ); Gia_CellForEachFanin( p, iLit, iFanLit, k ) Abc_ObjAddFanin( pObjNew, Abc_NtkFromCellRead(pNtkNew, vCopyLits, Abc_Lit2Var(iFanLit), Abc_LitIsCompl(iFanLit)) ); |