diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-31 22:56:30 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-31 22:56:30 +0700 |
| commit | 290c70f73e023434bee208eb4d8161541096bebe (patch) | |
| tree | 3835effdb8241d8bb821601b2beae0410ed9d732 /src/opt/sbd | |
| parent | 3f2899d6ea1a141f40d7fdfe4556bb349d53c250 (diff) | |
| download | abc-290c70f73e023434bee208eb4d8161541096bebe.tar.gz abc-290c70f73e023434bee208eb4d8161541096bebe.tar.bz2 abc-290c70f73e023434bee208eb4d8161541096bebe.zip | |
Updates to delay optimization project.
Diffstat (limited to 'src/opt/sbd')
| -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 251a4deb..a36b4bd2 100644 --- a/src/opt/sbd/sbdCore.c +++ b/src/opt/sbd/sbdCore.c @@ -1883,7 +1883,7 @@ int Sbd_ManImplement2( Sbd_Man_t * p, int Pivot, int nStrs, Sbd_Str_t * pStrs ) } // make sure delay reduction is achieved iNewLev = Vec_IntEntry( p->vLutLevs, Abc_Lit2Var(iLit) ); - assert( iNewLev < iCurLev ); + assert( !iNewLev || iNewLev < iCurLev ); // update delay of the initial node assert( Vec_IntEntry(p->vLutLevs, Pivot) == iCurLev ); Vec_IntWriteEntry( p->vLutLevs, Pivot, iNewLev ); |