From e2b8d95b6f6bb99320ee2b83bfab6f8b95be8d2d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 28 Oct 2014 19:49:32 -0700
Subject: Bug fix in bmc3 -a -x.

---
 src/sat/bmc/bmcBmc3.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/sat/bmc/bmcBmc3.c b/src/sat/bmc/bmcBmc3.c
index 36d3eeb7..fdc7e613 100644
--- 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 ); pCexNew = NULL;
+                Vec_PtrWriteEntry( p->vCexes, i, Abc_CexDup(pCexNew, Saig_ManRegNum(pAig)) ); 
                 if ( pPars->pFuncOnFail && pPars->pFuncOnFail(i, pPars->fStoreCex ? (Abc_Cex_t *)Vec_PtrEntry(p->vCexes, i) : NULL) )
                 {
                     Abc_CexFreeP( &pCexNew0 );
-- 
cgit v1.2.3