Skip to content

A
abc
Commit 3240abdb by Alan Mishchenko
Options

Fixing last-minute bug fix in &nf.

parent b9e71bba
Showing with 2 additions and 2 deletions
src/aig/gia/giaNf.c
...@@ -1460,10 +1460,10 @@ void Nf_ManSetOutputRequireds( Nf_Man_t * p, int fPropCompl ) ...@@ -1460,10 +1460,10 @@ void Nf_ManSetOutputRequireds( Nf_Man_t * p, int fPropCompl )
if ( Scl_ConGetOutReq(i) > 0 && Required <= Scl_ConGetOutReq(i) ) if ( Scl_ConGetOutReq(i) > 0 && Required <= Scl_ConGetOutReq(i) )
Required = Scl_ConGetOutReq(i); Required = Scl_ConGetOutReq(i);
} }
else else if ( p->pGia->vOutReqs )
{ {
int NewRequired = Scl_Flt2Int(Vec_FltEntry(p->pGia->vOutReqs, i)); 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 ); Required = Abc_MinInt( 2*Required, NewRequired );
} }
// if external required cannot be achieved, set the earliest possible arrival time // if external required cannot be achieved, set the earliest possible arrival time
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment