summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abc.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-12-13 15:18:53 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2012-12-13 15:18:53 -0800
commit82050bbe111a25b808f26b9196c797e7d2e1b916 (patch)
tree057e9ca6fb54381405d0aa018b5d5e2abe251ce2 /src/base/abci/abc.c
parent5ef3c1db3abea9270796e270e42e88e74a6e5587 (diff)
downloadabc-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.c15
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;