diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-03 01:55:02 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-03 01:55:02 +0700 |
| commit | ad4e869ab78bb9c52ab1bc8de6f876d43b66ef9b (patch) | |
| tree | 11220c39ebcb43cc4e780f500608fc0d8a32d4ec | |
| parent | 03cd22af6e492290e76c3745cd38a849869a1a73 (diff) | |
| download | abc-ad4e869ab78bb9c52ab1bc8de6f876d43b66ef9b.tar.gz abc-ad4e869ab78bb9c52ab1bc8de6f876d43b66ef9b.tar.bz2 abc-ad4e869ab78bb9c52ab1bc8de6f876d43b66ef9b.zip | |
Reason for assertion failure in &nf.
| -rw-r--r-- | src/base/abci/abcTiming.c | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c index a8f0cd29..1a8a5169 100644 --- a/src/base/abci/abcTiming.c +++ b/src/base/abci/abcTiming.c @@ -757,11 +757,11 @@ float * Abc_NtkGetCiArrivalFloats( Abc_Ntk_t * pNtk ) p = ABC_CALLOC( float, Abc_NtkCiNum(pNtk) ); if ( pNtk->pManTime == NULL ) return p; - Abc_NtkForEachCi( pNtk, pNode, i ) - if ( Abc_NodeReadArrivalWorst(pNode) != 0 ) - break; - if ( i == Abc_NtkCiNum(pNtk) ) - return NULL; +// Abc_NtkForEachCi( pNtk, pNode, i ) +// if ( Abc_NodeReadArrivalWorst(pNode) != 0 ) +// break; +// if ( i == Abc_NtkCiNum(pNtk) ) +// return NULL; // set the PI arrival times Abc_NtkForEachCi( pNtk, pNode, i ) p[i] = Abc_NodeReadArrivalWorst(pNode); @@ -774,11 +774,11 @@ float * Abc_NtkGetCoRequiredFloats( Abc_Ntk_t * pNtk ) int i; if ( pNtk->pManTime == NULL ) return NULL; - Abc_NtkForEachCo( pNtk, pNode, i ) - if ( Abc_NodeReadRequiredWorst(pNode) != ABC_INFINITY ) - break; - if ( i == Abc_NtkCoNum(pNtk) ) - return NULL; +// Abc_NtkForEachCo( pNtk, pNode, i ) +// if ( Abc_NodeReadRequiredWorst(pNode) != ABC_INFINITY ) +// break; +// if ( i == Abc_NtkCoNum(pNtk) ) +// return NULL; // set the PO required times p = ABC_CALLOC( float, Abc_NtkCoNum(pNtk) ); Abc_NtkForEachCo( pNtk, pNode, i ) |