diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-22 16:52:24 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-22 16:52:24 -0700 |
commit | 2379dea445da742b260adb68bbd17d0f71c684f4 (patch) | |
tree | aace7baa2badccef98252e539342f2bb3f6e4638 /src/aig/gia/giaAbsRef.c | |
parent | 8d5fdf6232d784537b7bb518036247423d7de6df (diff) | |
download | abc-2379dea445da742b260adb68bbd17d0f71c684f4.tar.gz abc-2379dea445da742b260adb68bbd17d0f71c684f4.tar.bz2 abc-2379dea445da742b260adb68bbd17d0f71c684f4.zip |
Recording and reusing learned util clauses in bmc3.
Diffstat (limited to 'src/aig/gia/giaAbsRef.c')
-rw-r--r-- | src/aig/gia/giaAbsRef.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaAbsRef.c b/src/aig/gia/giaAbsRef.c index 38e51f11..4532a90b 100644 --- a/src/aig/gia/giaAbsRef.c +++ b/src/aig/gia/giaAbsRef.c @@ -327,7 +327,7 @@ int Rnm_ManSensitize( Rnm_Man_t * p ) void Rnm_ManJustifyPropFanout_rec( Rnm_Man_t * p, Gia_Obj_t * pObj, int f, Vec_Int_t * vSelect ) { Rnm_Obj_t * pRnm0, * pRnm1, * pRnm = Rnm_ManObj( p, pObj, f ); - Gia_Obj_t * pFanout; + Gia_Obj_t * pFanout = NULL; int i, k;//, Id = Gia_ObjId(p->pGia, pObj); assert( pRnm->fVisit == 0 ); pRnm->fVisit = 1; |