From 6682d6b0e79ca20115fbc36563a66662f6e3c6af Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 19 May 2013 12:22:03 -0700 Subject: Bug fix in &mprove. --- src/aig/gia/giaUtil.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig/gia/giaUtil.c') diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index db84e00c..10bfa154 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -1462,11 +1462,11 @@ Vec_Int_t * Gia_ManMultiProve( Gia_Man_t * pInit, char * pCommLine, int nGroupSi Vec_Int_t * vStatusCur = Abc_FrameReadPoStatuses( pAbc ); Vec_Ptr_t * vCexesCur = Abc_FrameReadCexVec( pAbc ); assert( vStatusCur != NULL ); // only works for "bmc3" and "pdr" - assert( vCexesCur != NULL ); +// assert( vCexesCur != NULL ); for ( k = 0; k < nGroupCur; k++ ) { Vec_IntPush( vOutMap, Vec_IntEntry(vStatusCur, k) ); - Vec_PtrPush( vCexes, Vec_PtrEntry(vCexesCur, k) ); + Vec_PtrPush( vCexes, vCexesCur ? Vec_PtrEntry(vCexesCur, k) : NULL ); } } } -- cgit v1.2.3