diff options
| author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-18 10:28:16 -0800 |
|---|---|---|
| committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-18 10:28:16 -0800 |
| commit | 91a0a0fc3b5dfd5aa71122106dbdacf6268e51fb (patch) | |
| tree | 5c8c71f8a15c9727e053e187a11f4428ef309445 /src/base/abci/abc.c | |
| parent | 196b3591830e9fbe0877411b8053233c11d0f4ce (diff) | |
| download | abc-91a0a0fc3b5dfd5aa71122106dbdacf6268e51fb.tar.gz abc-91a0a0fc3b5dfd5aa71122106dbdacf6268e51fb.tar.bz2 abc-91a0a0fc3b5dfd5aa71122106dbdacf6268e51fb.zip | |
copied pdr_mansolve
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 0e3a1d3a..f12e3727 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -26630,9 +26630,8 @@ 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->Status = IPdr_ManSolve( pNtk, pPars ); pAbc->nFrames = pNtk->vSeqModelVec ? -1 : pPars->iFrame; Abc_FrameReplacePoStatuses( pAbc, &pPars->vOutMap ); if ( pNtk->vSeqModelVec ) |