summaryrefslogtreecommitdiffstats
path: root/src/proof
diff options
context:
space:
mode:
Diffstat (limited to 'src/proof')
-rw-r--r--src/proof/cec/cecSatG3.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/proof/cec/cecSatG3.c b/src/proof/cec/cecSatG3.c
index eaad455b..5f22937c 100644
--- a/src/proof/cec/cecSatG3.c
+++ b/src/proof/cec/cecSatG3.c
@@ -2125,6 +2125,8 @@ Gia_Man_t * Cec5_ManSimulateTest( Gia_Man_t * p, Cec_ParFra_t * pPars, int fCbs,
{
Gia_Man_t * pNew = NULL;
Cec5_ManPerformSweeping( p, pPars, &pNew, 0, fCbs, approxLim, subBatchSz, adaRecycle );
+ if ( pNew == NULL )
+ pNew = Gia_ManDup( p );
return pNew;
}