diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-13 15:18:53 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-13 15:18:53 -0800 |
commit | 82050bbe111a25b808f26b9196c797e7d2e1b916 (patch) | |
tree | 057e9ca6fb54381405d0aa018b5d5e2abe251ce2 /src/base/abci/abc.c | |
parent | 5ef3c1db3abea9270796e270e42e88e74a6e5587 (diff) | |
download | abc-82050bbe111a25b808f26b9196c797e7d2e1b916.tar.gz abc-82050bbe111a25b808f26b9196c797e7d2e1b916.tar.bz2 abc-82050bbe111a25b808f26b9196c797e7d2e1b916.zip |
Assembling timing/hierarchy manager from input data.
Diffstat (limited to 'src/base/abci/abc.c')
-rw-r--r-- | src/base/abci/abc.c | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 651b70ec..2baab045 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -9429,17 +9429,16 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) } */ + if ( !Abc_NtkIsTopo(pNtk) ) + { + Abc_Print( -1, "Current network is not in a topological order.\n" ); + return 1; + } + if ( pNtk ) { extern void Abc_NtkTestTim( Abc_Ntk_t * pNtk, int fVerbose ); - extern void Abc_NtkTestPinGia( Abc_Ntk_t * pNtk, int fWhiteBoxOnly, int fVerbose ); -// Abc_NtkTestTim( pNtk, fVerbose ); - if ( !Abc_NtkIsLogic(pNtk) ) - { - Abc_Print( -1, "The current ABC netowrk is not a logic network.\n" ); - return 1; - } - Abc_NtkTestPinGia( pNtk, 0, 0 ); + Abc_NtkTestTim( pNtk, fVerbose ); } return 0; |