summaryrefslogtreecommitdiffstats
path: root/src/base
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-03-29 13:04:21 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2011-03-29 13:04:21 -0700
commit2b336851a2f748b213774094b96c7622f6001917 (patch)
tree67edfe3634b90296705bc66c60fdebffc2c415fa /src/base
parent6c01e8b9f040d591f72882aff08ed21446fbb567 (diff)
downloadabc-2b336851a2f748b213774094b96c7622f6001917.tar.gz
abc-2b336851a2f748b213774094b96c7622f6001917.tar.bz2
abc-2b336851a2f748b213774094b96c7622f6001917.zip
Added test package.
Diffstat (limited to 'src/base')
-rw-r--r--src/base/abci/abc.c4
-rw-r--r--src/base/main/mainInit.c4
-rw-r--r--src/base/main/mainInt.h4
3 files changed, 9 insertions, 3 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index b8c8f7a0..89d8cca3 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -8687,8 +8687,8 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
Aig_ManStop( pAig );
}
*/
-
/*
+
if ( Abc_NtkIsStrash(pNtk) )
{
extern Abc_Ntk_t * Au_ManTransformTest( Abc_Ntk_t * pAig );
@@ -8706,8 +8706,8 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
}
// replace the current network
Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes );
-*/
+*/
{
// extern void Au_Sat3DeriveImpls();
diff --git a/src/base/main/mainInit.c b/src/base/main/mainInit.c
index a6f4b9e1..c15ca872 100644
--- a/src/base/main/mainInit.c
+++ b/src/base/main/mainInit.c
@@ -46,6 +46,8 @@ extern void Libs_Init( Abc_Frame_t * pAbc );
extern void Libs_End( Abc_Frame_t * pAbc );
extern void Load_Init( Abc_Frame_t * pAbc );
extern void Load_End( Abc_Frame_t * pAbc );
+extern void Test_Init( Abc_Frame_t * pAbc );
+extern void Test_End( Abc_Frame_t * pAbc );
////////////////////////////////////////////////////////////////////////
/// FUNCTION DEFINITIONS ///
@@ -74,6 +76,7 @@ void Abc_FrameInit( Abc_Frame_t * pAbc )
Super_Init( pAbc );
Libs_Init( pAbc );
Load_Init( pAbc );
+ Test_Init( pAbc );
EXT_ABC_INIT(pAbc) // plugin for external functionality
}
@@ -100,6 +103,7 @@ void Abc_FrameEnd( Abc_Frame_t * pAbc )
Super_End( pAbc );
Libs_End( pAbc );
Load_End( pAbc );
+ Test_End( pAbc );
EXT_ABC_END(pAbc) // plugin for external functionality
}
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h
index 3eaa2978..d3a1fc9f 100644
--- a/src/base/main/mainInt.h
+++ b/src/base/main/mainInt.h
@@ -63,7 +63,9 @@ struct Abc_Frame_t_
st_table * tFlags; // the flag table
Vec_Ptr_t * aHistory; // the command history
// the functionality
- Abc_Ntk_t * pNtkCur; // the current network
+ Abc_Ntk_t * pNtkCur; // the current network
+ Abc_Ntk_t * pNtkBestDelay; // the current network
+ Abc_Ntk_t * pNtkBestArea; // the current network
int nSteps; // the counter of different network processed
int fAutoexac; // marks the autoexec mode
int fBatchMode; // are we invoked in batch mode?