diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-19 12:22:03 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-19 12:22:03 -0700 |
| commit | 6682d6b0e79ca20115fbc36563a66662f6e3c6af (patch) | |
| tree | 3b292facba9ef7ac26f56b322f1c2b741e7502bc /src/aig | |
| parent | 67357cda2f389f39ed45e81e7579d549b7280174 (diff) | |
| download | abc-6682d6b0e79ca20115fbc36563a66662f6e3c6af.tar.gz abc-6682d6b0e79ca20115fbc36563a66662f6e3c6af.tar.bz2 abc-6682d6b0e79ca20115fbc36563a66662f6e3c6af.zip | |
Bug fix in &mprove.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 4 |
1 files changed, 2 insertions, 2 deletions
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 ); } } } |