From 3240abdb63f440f2ad5ed72a2ada17ea57cae05c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 5 Jan 2016 22:35:44 -0800 Subject: Fixing last-minute bug fix in &nf. --- src/aig/gia/giaNf.c | 4 ++-- 1 file 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 -- cgit v1.2.3