From ca9803fc98943ed6b23c54057590b05b05c53e76 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 6 Aug 2012 21:59:14 -0700
Subject: Scalable gate-level abstraction.

---
 src/aig/gia/giaAbsRef.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/aig/gia/giaAbsRef.c')

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" );
-- 
cgit v1.2.3