diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-01 18:41:56 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-01 18:41:56 -0700 |
commit | 5ec77b66e1ed399891b665f9f14e9f92ddf1c3d2 (patch) | |
tree | 1634fd87e7128e00a3789a3734f29a842fd6f871 | |
parent | 48fce79453b6d3bc591303075e4f3ae95a821f62 (diff) | |
download | abc-5ec77b66e1ed399891b665f9f14e9f92ddf1c3d2.tar.gz abc-5ec77b66e1ed399891b665f9f14e9f92ddf1c3d2.tar.bz2 abc-5ec77b66e1ed399891b665f9f14e9f92ddf1c3d2.zip |
Updating 'sim3' to move the design into the last rare state.
-rw-r--r-- | src/base/abc/abc.h | 1 | ||||
-rw-r--r-- | src/base/abci/abc.c | 3 |
2 files changed, 1 insertions, 3 deletions
diff --git a/src/base/abc/abc.h b/src/base/abc/abc.h index ca47a47f..e408a58f 100644 --- a/src/base/abc/abc.h +++ b/src/base/abc/abc.h @@ -883,6 +883,7 @@ extern ABC_DLL void Abc_SopToTruth7( char * pSop, int nInputs, wor extern ABC_DLL void Abc_SopToTruthBig( char * pSop, int nInputs, word ** pVars, word * pCube, word * pRes ); /*=== abcStrash.c ==========================================================*/ extern ABC_DLL Abc_Ntk_t * Abc_NtkRestrash( Abc_Ntk_t * pNtk, int fCleanup ); +extern ABC_DLL Abc_Ntk_t * Abc_NtkRestrashZero( Abc_Ntk_t * pNtk, int fCleanup ); extern ABC_DLL Abc_Ntk_t * Abc_NtkStrash( Abc_Ntk_t * pNtk, int fAllNodes, int fCleanup, int fRecord ); extern ABC_DLL Abc_Obj_t * Abc_NodeStrash( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pNode, int fRecord ); extern ABC_DLL int Abc_NtkAppend( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int fAddPos ); diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 27792c98..b41734ba 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -15460,9 +15460,6 @@ int Abc_CommandZero( Abc_Frame_t * pAbc, int argc, char ** argv ) { Abc_Ntk_t * pNtk, * pNtkRes; int c; - - extern Abc_Ntk_t * Abc_NtkRestrashZero( Abc_Ntk_t * pNtk, int fCleanup ); - pNtk = Abc_FrameReadNtk(pAbc); // set defaults Extra_UtilGetoptReset(); |