diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-01-05 22:35:44 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-01-05 22:35:44 -0800 |
| commit | 3240abdb63f440f2ad5ed72a2ada17ea57cae05c (patch) | |
| tree | 3335c3b0a640b05c7362d717e868194e8b8cbc2d | |
| parent | b9e71bba0c1ec0b280bd71d8455554ad49050376 (diff) | |
| download | abc-3240abdb63f440f2ad5ed72a2ada17ea57cae05c.tar.gz abc-3240abdb63f440f2ad5ed72a2ada17ea57cae05c.tar.bz2 abc-3240abdb63f440f2ad5ed72a2ada17ea57cae05c.zip | |
Fixing last-minute bug fix in &nf.
| -rw-r--r-- | src/aig/gia/giaNf.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index 8036eea6..2bb542cf 100644 --- a/src/aig/gia/giaNf.c +++ b/src/aig/gia/giaNf.c @@ -1460,10 +1460,10 @@ void Nf_ManSetOutputRequireds( Nf_Man_t * p, int fPropCompl ) if ( Scl_ConGetOutReq(i) > 0 && Required <= Scl_ConGetOutReq(i) ) Required = Scl_ConGetOutReq(i); } - else + else if ( p->pGia->vOutReqs ) { int NewRequired = Scl_Flt2Int(Vec_FltEntry(p->pGia->vOutReqs, i)); - if ( p->pGia->vOutReqs && NewRequired > 0 && Required <= NewRequired ) + if ( NewRequired > 0 && Required <= NewRequired ) Required = Abc_MinInt( 2*Required, NewRequired ); } // if external required cannot be achieved, set the earliest possible arrival time |