Bug fix in bmc3 -a -x.

4edc0234 · Alan Mishchenko · c0db4d2a · 4edc0234
Commit 4edc0234 authored Oct 28, 2014 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/sat/bmc/bmcBmc3.c
+1 -1

No files found.
--- a/src/sat/bmc/bmcBmc3.c
+++ b/src/sat/bmc/bmcBmc3.c
@@ -1635,7 +1635,7 @@ nTimeSat += clkSatRun;
                    pCexNew0 = pCexNew; 
                    pCexNew = (Abc_Cex_t *)(ABC_PTRINT_T)1;
                }
-                Vec_PtrWriteEntry( p->vCexes, i, pCexNew );
+                Vec_PtrWriteEntry( p->vCexes, i, pCexNew ); pCexNew = NULL;
                if ( pPars->pFuncOnFail && pPars->pFuncOnFail(i, pPars->fStoreCex ? (Abc_Cex_t *)Vec_PtrEntry(p->vCexes, i) : NULL) )
                {
                    Abc_CexFreeP( &pCexNew0 );