diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-28 09:56:14 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-28 09:56:14 -0400 |
| commit | e4d0f4715a4dce9eb14a0380a669a67a2c0a6616 (patch) | |
| tree | bfe7dd5c04a96150b153a1a71540710aa7e5103e /src/aig/gia/giaUtil.c | |
| parent | 631b50aa591f47a48cc91813a975effddd3a1f76 (diff) | |
| download | abc-e4d0f4715a4dce9eb14a0380a669a67a2c0a6616.tar.gz abc-e4d0f4715a4dce9eb14a0380a669a67a2c0a6616.tar.bz2 abc-e4d0f4715a4dce9eb14a0380a669a67a2c0a6616.zip | |
Added new options to testcex.
Diffstat (limited to 'src/aig/gia/giaUtil.c')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 2794956a..125f3592 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -1187,7 +1187,7 @@ int Gia_ManVerifyCex( Gia_Man_t * pAig, Abc_Cex_t * p, int fDualOut ) SeeAlso [] ***********************************************************************/ -int Gia_ManFindFailedPoCex( Gia_Man_t * pAig, Abc_Cex_t * p ) +int Gia_ManFindFailedPoCex( Gia_Man_t * pAig, Abc_Cex_t * p, int nOutputs ) { Gia_Obj_t * pObj, * pObjRi, * pObjRo; int RetValue, i, k, iBit = 0; @@ -1209,12 +1209,14 @@ int Gia_ManFindFailedPoCex( Gia_Man_t * pAig, Abc_Cex_t * p ) assert( iBit == p->nBits ); // remember the number of failed output RetValue = -1; - Gia_ManForEachPo( pAig, pObj, i ) + for ( i = Gia_ManPoNum(pAig) - 1; i >= nOutputs; i-- ) + { if ( Gia_ManPo(pAig, i)->fMark0 ) { RetValue = i; break; } + } Gia_ManCleanMark0(pAig); return RetValue; } |