diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-01 00:32:19 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-01 00:32:19 +0700 |
| commit | 39f32259957884645450ba345426f7f030f14713 (patch) | |
| tree | c24f0df27a8eeb36b0041984e842248b5ab516e9 /src | |
| parent | ab8db51f37581f247991c16f3ec11ef2674f1934 (diff) | |
| download | abc-39f32259957884645450ba345426f7f030f14713.tar.gz abc-39f32259957884645450ba345426f7f030f14713.tar.bz2 abc-39f32259957884645450ba345426f7f030f14713.zip | |
Updates to delay optimization project.
Diffstat (limited to 'src')
| -rw-r--r-- | src/opt/sbd/sbdCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sbd/sbdCore.c b/src/opt/sbd/sbdCore.c index a36b4bd2..a6ae8bbb 100644 --- a/src/opt/sbd/sbdCore.c +++ b/src/opt/sbd/sbdCore.c @@ -1851,7 +1851,7 @@ int Sbd_ManImplement2( Sbd_Man_t * p, int Pivot, int nStrs, Sbd_Str_t * pStrs ) Vec_IntWriteEntry( p->vLits, Vec_IntSize(p->vLits)-nStrs+i, iLit ); } iLit = Vec_IntEntry( p->vLits, Vec_IntSize(p->vDivSet) ); - assert( iObjLast == Gia_ManObjNum(p->pGia) || Abc_Lit2Var(iLit) == Gia_ManObjNum(p->pGia)-1 ); + //assert( iObjLast == Gia_ManObjNum(p->pGia) || Abc_Lit2Var(iLit) == Gia_ManObjNum(p->pGia)-1 ); // remember this function assert( Vec_IntEntry(p->vMirrors, Pivot) == -1 ); Vec_IntWriteEntry( p->vMirrors, Pivot, iLit ); |