From 850d39fec30b46b049717ae0a7a5743396b14ecd Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 12 Aug 2020 19:32:42 -0700
Subject: Making &cec use precomputed simulation info.

---
 src/base/abci/abc.c | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/base')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index d1ed5901..3219cd9e 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -37156,6 +37156,11 @@ int Abc_CommandAbc9Cec( Abc_Frame_t * pAbc, int argc, char ** argv )
             Abc_Print( 0, "The verification miter is written into file \"%s\".\n", "cec_miter.aig" );
             Gia_AigerWrite( pMiter, "cec_miter.aig", 0, 0, 0 );
         }
+        if ( pGias[0]->vSimsPi )
+        {
+            pMiter->vSimsPi = Vec_WrdDup(pGias[0]->vSimsPi); 
+            pMiter->nSimWords = pGias[0]->nSimWords;
+        }
         pAbc->Status = Cec_ManVerify( pMiter, pPars );
         Abc_FrameReplaceCex( pAbc, &pGias[0]->pCexComb );
         Gia_ManStop( pMiter );
-- 
cgit v1.2.3