diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 11:24:02 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 11:24:02 +0700 |
| commit | 88251e97e3e7e668ebd81bcc65eb77e3cd61ac2a (patch) | |
| tree | 2eb41af0807e2c1ac757e45b31e1a18f07445c4e /src | |
| parent | 34811655f27aa9ff7a56af1fee06d0dfffd7c2e5 (diff) | |
| download | abc-88251e97e3e7e668ebd81bcc65eb77e3cd61ac2a.tar.gz abc-88251e97e3e7e668ebd81bcc65eb77e3cd61ac2a.tar.bz2 abc-88251e97e3e7e668ebd81bcc65eb77e3cd61ac2a.zip | |
Minor bug fix in 'testcex' (made it consider outputs in direct order).
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index d94a0412..b9a50220 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -1211,7 +1211,8 @@ int Gia_ManFindFailedPoCex( Gia_Man_t * pAig, Abc_Cex_t * p, int nOutputs ) assert( iBit == p->nBits ); // figure out the number of failed output RetValue = -1; - for ( i = Gia_ManPoNum(pAig) - 1; i >= nOutputs; i-- ) +// for ( i = Gia_ManPoNum(pAig) - 1; i >= nOutputs; i-- ) + for ( i = nOutputs; i < Gia_ManPoNum(pAig); i++ ) { if ( Gia_ManPo(pAig, i)->fMark0 ) { |