diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-01 15:36:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-01 15:36:39 -0700 |
| commit | 2140c5d980cafc6d3daece9e6f2e04dc3cc1fb44 (patch) | |
| tree | c2f0b8777d70bfe99e0803f2d65afaad6dc1084f /src/aig/gia/giaUtil.c | |
| parent | e4d0f4715a4dce9eb14a0380a669a67a2c0a6616 (diff) | |
| download | abc-2140c5d980cafc6d3daece9e6f2e04dc3cc1fb44.tar.gz abc-2140c5d980cafc6d3daece9e6f2e04dc3cc1fb44.tar.bz2 abc-2140c5d980cafc6d3daece9e6f2e04dc3cc1fb44.zip | |
Updating testcext to ignore the diff in register count and other things.
Diffstat (limited to 'src/aig/gia/giaUtil.c')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 125f3592..d94a0412 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -1191,9 +1191,11 @@ 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; + assert( Gia_ManPiNum(pAig) == p->nPis ); Gia_ManCleanMark0(pAig); - Gia_ManForEachRo( pAig, pObj, i ) - pObj->fMark0 = Gia_InfoHasBit(p->pData, iBit++); +// Gia_ManForEachRo( pAig, pObj, i ) +// pObj->fMark0 = Gia_InfoHasBit(p->pData, iBit++); + iBit = p->nRegs; for ( i = 0; i <= p->iFrame; i++ ) { Gia_ManForEachPi( pAig, pObj, k ) @@ -1207,7 +1209,7 @@ int Gia_ManFindFailedPoCex( Gia_Man_t * pAig, Abc_Cex_t * p, int nOutputs ) pObjRo->fMark0 = pObjRi->fMark0; } assert( iBit == p->nBits ); - // remember the number of failed output + // figure out the number of failed output RetValue = -1; for ( i = Gia_ManPoNum(pAig) - 1; i >= nOutputs; i-- ) { |