diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-07-06 21:13:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-07-06 21:13:25 -0700 |
| commit | 4712edc09705cc79638ebfeef92d7e292c15a1c6 (patch) | |
| tree | 420a363d43b9bfe21bd4965db21f52eef5c522ac | |
| parent | 0b7dcbbcfbd1bb9481ee1ecc340d634e2d2ab513 (diff) | |
| download | abc-4712edc09705cc79638ebfeef92d7e292c15a1c6.tar.gz abc-4712edc09705cc79638ebfeef92d7e292c15a1c6.tar.bz2 abc-4712edc09705cc79638ebfeef92d7e292c15a1c6.zip | |
Commenting out useless assertion.
| -rw-r--r-- | src/aig/gia/giaNf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index 403c220a..b7faa77d 100644 --- a/src/aig/gia/giaNf.c +++ b/src/aig/gia/giaNf.c @@ -1990,7 +1990,7 @@ void Nf_ManComputeMappingEla( Nf_Man_t * p ) assert( pMb->fBest ); assert( pMb->D <= Required ); //assert( Scl_Flt2Int(pMb->F) == (int)AreaAft ); - assert( AreaBef >= AreaAft ); + //assert( AreaBef >= AreaAft ); *pM = *pMb; // update timing pCell = Nf_ManCell( p, pMb->Gate ); |