diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-06 21:59:14 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-06 21:59:14 -0700 |
| commit | ca9803fc98943ed6b23c54057590b05b05c53e76 (patch) | |
| tree | b469e0618d64e27a19014c46d0855a0d66c7efcb /src/aig/gia/giaAbsRef.c | |
| parent | 94949287fe1ae3a46113102eab7c99d530983c45 (diff) | |
| download | abc-ca9803fc98943ed6b23c54057590b05b05c53e76.tar.gz abc-ca9803fc98943ed6b23c54057590b05b05c53e76.tar.bz2 abc-ca9803fc98943ed6b23c54057590b05b05c53e76.zip | |
Scalable gate-level abstraction.
Diffstat (limited to 'src/aig/gia/giaAbsRef.c')
| -rw-r--r-- | src/aig/gia/giaAbsRef.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaAbsRef.c b/src/aig/gia/giaAbsRef.c index 8a613912..36dd0585 100644 --- a/src/aig/gia/giaAbsRef.c +++ b/src/aig/gia/giaAbsRef.c @@ -497,6 +497,8 @@ void Rnm_ManVerifyUsingTerSim( Gia_Man_t * p, Abc_Cex_t * pCex, Vec_Int_t * vMap Gia_ObjTerSimRo( p, pObj ); } } + Gia_ManForEachObjVec( vMap, p, pObj, i ) + pObj->Value = 0; pObj = Gia_ManPo( p, 0 ); if ( !Gia_ObjTerSimGet1(pObj) ) Abc_Print( 1, "\nRefinement verification has failed!!!\n" ); |