From 196b3591830e9fbe0877411b8053233c11d0f4ce Mon Sep 17 00:00:00 2001
From: Yen-Sheng Ho <ysho@berkeley.edu>
Date: Sat, 18 Feb 2017 09:51:54 -0800
Subject: started pdrIncr.c

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

(limited to 'src/base/abci')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index af79a66d..0e3a1d3a 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -26434,6 +26434,7 @@ usage:
 int Abc_CommandIPdr( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
     extern int Abc_NtkDarPdr( Abc_Ntk_t * pNtk, Pdr_Par_t * pPars );
+    extern int IPdr_ManSolve( Abc_Ntk_t * pNtk, Pdr_Par_t * pPars );
     Pdr_Par_t Pars, * pPars = &Pars;
     Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
     int c;
@@ -26629,6 +26630,7 @@ int Abc_CommandIPdr( Abc_Frame_t * pAbc, int argc, char ** argv )
         return 0;
     }
     // run the procedure
+    IPdr_ManSolve( pNtk, pPars );
     pPars->fUseBridge = pAbc->fBridgeMode;
     pAbc->Status  = Abc_NtkDarPdr( pNtk, pPars );
     pAbc->nFrames = pNtk->vSeqModelVec ? -1 : pPars->iFrame;
-- 
cgit v1.2.3