From ca6dd4ed17916afb92c4da36ae4ffc8e135f2723 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 24 Apr 2022 13:56:19 -0700
Subject: Bug fix in &uif.

---
 src/proof/cec/cecSatG3.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/proof')

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;
 }
 
-- 
cgit v1.2.3