Skip to content

A
abc
Commit ad4e869a by Alan Mishchenko
Options

Reason for assertion failure in &nf.

parent 03cd22af
Showing with 10 additions and 10 deletions
src/base/abci/abcTiming.c
...@@ -757,11 +757,11 @@ float * Abc_NtkGetCiArrivalFloats( Abc_Ntk_t * pNtk ) ...@@ -757,11 +757,11 @@ float * Abc_NtkGetCiArrivalFloats( Abc_Ntk_t * pNtk )
p = ABC_CALLOC( float, Abc_NtkCiNum(pNtk) ); p = ABC_CALLOC( float, Abc_NtkCiNum(pNtk) );
if ( pNtk->pManTime == NULL ) if ( pNtk->pManTime == NULL )
return p; return p;
Abc_NtkForEachCi( pNtk, pNode, i ) // Abc_NtkForEachCi( pNtk, pNode, i )
if ( Abc_NodeReadArrivalWorst(pNode) != 0 ) // if ( Abc_NodeReadArrivalWorst(pNode) != 0 )
break; // break;
if ( i == Abc_NtkCiNum(pNtk) ) // if ( i == Abc_NtkCiNum(pNtk) )
return NULL; // return NULL;
// set the PI arrival times // set the PI arrival times
Abc_NtkForEachCi( pNtk, pNode, i ) Abc_NtkForEachCi( pNtk, pNode, i )
p[i] = Abc_NodeReadArrivalWorst(pNode); p[i] = Abc_NodeReadArrivalWorst(pNode);
...@@ -774,11 +774,11 @@ float * Abc_NtkGetCoRequiredFloats( Abc_Ntk_t * pNtk ) ...@@ -774,11 +774,11 @@ float * Abc_NtkGetCoRequiredFloats( Abc_Ntk_t * pNtk )
int i; int i;
if ( pNtk->pManTime == NULL ) if ( pNtk->pManTime == NULL )
return NULL; return NULL;
Abc_NtkForEachCo( pNtk, pNode, i ) // Abc_NtkForEachCo( pNtk, pNode, i )
if ( Abc_NodeReadRequiredWorst(pNode) != ABC_INFINITY ) // if ( Abc_NodeReadRequiredWorst(pNode) != ABC_INFINITY )
break; // break;
if ( i == Abc_NtkCoNum(pNtk) ) // if ( i == Abc_NtkCoNum(pNtk) )
return NULL; // return NULL;
// set the PO required times // set the PO required times
p = ABC_CALLOC( float, Abc_NtkCoNum(pNtk) ); p = ABC_CALLOC( float, Abc_NtkCoNum(pNtk) );
Abc_NtkForEachCo( pNtk, pNode, i ) Abc_NtkForEachCo( pNtk, pNode, i )
......
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