diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-19 17:29:03 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-19 17:29:03 -0700 |
| commit | 1e0bbef1ef6a6ff7f0293e0926a8ff2b396e0a3e (patch) | |
| tree | 9797c2b999846d0b635b8262f4778c8f487187f5 /src/aig/gia | |
| parent | 5585ce8aa647d0a6fcb2be2517a691ed949de85e (diff) | |
| download | abc-1e0bbef1ef6a6ff7f0293e0926a8ff2b396e0a3e.tar.gz abc-1e0bbef1ef6a6ff7f0293e0926a8ff2b396e0a3e.tar.bz2 abc-1e0bbef1ef6a6ff7f0293e0926a8ff2b396e0a3e.zip | |
Uncommenting handling of initial values of the flops.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaCex.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaCex.c b/src/aig/gia/giaCex.c index 5a8125f3..7bd7fd50 100644 --- a/src/aig/gia/giaCex.c +++ b/src/aig/gia/giaCex.c @@ -90,8 +90,8 @@ int Gia_ManFindFailedPoCex( Gia_Man_t * pAig, Abc_Cex_t * p, int nOutputs ) int RetValue, i, k, iBit = 0; assert( Gia_ManPiNum(pAig) == p->nPis ); Gia_ManCleanMark0(pAig); -// Gia_ManForEachRo( pAig, pObj, i ) -// pObj->fMark0 = Abc_InfoHasBit(p->pData, iBit++); + Gia_ManForEachRo( pAig, pObj, i ) + pObj->fMark0 = Abc_InfoHasBit(p->pData, iBit++); iBit = p->nRegs; for ( i = 0; i <= p->iFrame; i++ ) { |