diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-21 17:55:44 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-21 17:55:44 +0700 |
| commit | 9a2a0f2912e296e866ba220dce6ccf25018cf29b (patch) | |
| tree | 54ea0dae7c4d13a67db0a7b509e738d1e50acb17 /src/aig/saig | |
| parent | 515835579ede817bcab09ee67b32ff4f7acaae32 (diff) | |
| download | abc-9a2a0f2912e296e866ba220dce6ccf25018cf29b.tar.gz abc-9a2a0f2912e296e866ba220dce6ccf25018cf29b.tar.bz2 abc-9a2a0f2912e296e866ba220dce6ccf25018cf29b.zip | |
Changes to enable smarter simulation.
Diffstat (limited to 'src/aig/saig')
| -rw-r--r-- | src/aig/saig/saigMiter.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/saig/saigMiter.c b/src/aig/saig/saigMiter.c index 4a430a60..c50eaac5 100644 --- a/src/aig/saig/saigMiter.c +++ b/src/aig/saig/saigMiter.c @@ -1234,7 +1234,7 @@ int Saig_ManDemiterNew( Aig_Man_t * pMan ) vSuper = Vec_PtrAlloc( 100 ); Saig_ManForEachPo( pMan, pObj, i ) { - if ( pMan->nConstrs && i >= pMan->nConstrs ) + if ( pMan->nConstrs && i >= Saig_ManPoNum(pMan) - pMan->nConstrs ) break; printf( "Output %3d : ", i ); if ( Aig_ObjIsConst1(Aig_ObjFanin0(pObj)) ) |