diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-22 22:28:24 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-22 22:28:24 -0700 |
commit | a40c13a93cc19ec33a56995619a8acc442ad548c (patch) | |
tree | 04e36587d8e505db662413d496ba6d371169c2c4 /src/aig/gia | |
parent | 2379dea445da742b260adb68bbd17d0f71c684f4 (diff) | |
download | abc-a40c13a93cc19ec33a56995619a8acc442ad548c.tar.gz abc-a40c13a93cc19ec33a56995619a8acc442ad548c.tar.bz2 abc-a40c13a93cc19ec33a56995619a8acc442ad548c.zip |
Recording and reusing learned util clauses in bmc2.
Diffstat (limited to 'src/aig/gia')
-rw-r--r-- | src/aig/gia/giaAbsRef.c | 2 | ||||
-rw-r--r-- | src/aig/gia/giaUtil.c | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/aig/gia/giaAbsRef.c b/src/aig/gia/giaAbsRef.c index 4532a90b..e982ced3 100644 --- a/src/aig/gia/giaAbsRef.c +++ b/src/aig/gia/giaAbsRef.c @@ -207,7 +207,7 @@ void Rnm_ManCollect_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vObjs, int } void Rnm_ManCollect( Rnm_Man_t * p ) { - Gia_Obj_t * pObj; + Gia_Obj_t * pObj = NULL; int i; // mark const/PIs/PPIs Gia_ManIncrementTravId( p->pGia ); diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index c212fe64..01e2b1bd 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -1461,6 +1461,8 @@ unsigned * Gia_ObjComputeTruthTable( Gia_Man_t * p, Gia_Obj_t * pObj ) pTruth = Gla_ObjTruthElem( p, Gia_ObjCioId(pRoot) ); else if ( Gia_ObjIsAnd(pRoot) ) pTruth = Gla_ObjTruthNode( p, pRoot ); + else + pTruth = NULL; return (unsigned *)Gla_ObjTruthDup( p, Gla_ObjTruthFree2(p), pTruth, Gia_ObjIsCo(pObj) && Gia_ObjFaninC0(pObj) ); } |