diff options
author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-18 12:43:03 -0800 |
---|---|---|
committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-18 12:43:03 -0800 |
commit | b93a80512941e5039e48a7b74e625d7d6f9f720a (patch) | |
tree | 328c71082020614b7ae4bfbf2c1f2cfb724ce2ce /src/base | |
parent | 91a0a0fc3b5dfd5aa71122106dbdacf6268e51fb (diff) | |
download | abc-b93a80512941e5039e48a7b74e625d7d6f9f720a.tar.gz abc-b93a80512941e5039e48a7b74e625d7d6f9f720a.tar.bz2 abc-b93a80512941e5039e48a7b74e625d7d6f9f720a.zip |
copied some functions from pdr
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/abci/abc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index f12e3727..0645c6e3 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -26434,7 +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 ); + extern int Abc_NtkDarIPdr( Abc_Ntk_t * pNtk, Pdr_Par_t * pPars ); Pdr_Par_t Pars, * pPars = &Pars; Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); int c; @@ -26631,7 +26631,7 @@ int Abc_CommandIPdr( Abc_Frame_t * pAbc, int argc, char ** argv ) } // run the procedure pPars->fUseBridge = pAbc->fBridgeMode; - pAbc->Status = IPdr_ManSolve( pNtk, pPars ); + pAbc->Status = Abc_NtkDarIPdr( pNtk, pPars ); pAbc->nFrames = pNtk->vSeqModelVec ? -1 : pPars->iFrame; Abc_FrameReplacePoStatuses( pAbc, &pPars->vOutMap ); if ( pNtk->vSeqModelVec ) |