diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-01 16:59:42 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-01 16:59:42 -0700 |
| commit | b29cda081ad9b728578d35bec58f032554588c4b (patch) | |
| tree | 2beb331b8197b9318d42636e5205e2696551e04a /src/base/cba/cbaCom.c | |
| parent | f6a7f695c06cbc0a41069e7ef08e9926c3bb3116 (diff) | |
| download | abc-b29cda081ad9b728578d35bec58f032554588c4b.tar.gz abc-b29cda081ad9b728578d35bec58f032554588c4b.tar.bz2 abc-b29cda081ad9b728578d35bec58f032554588c4b.zip | |
Improvements to Cba data-structure.
Diffstat (limited to 'src/base/cba/cbaCom.c')
| -rw-r--r-- | src/base/cba/cbaCom.c | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/base/cba/cbaCom.c b/src/base/cba/cbaCom.c index ca0f203d..e3866dd1 100644 --- a/src/base/cba/cbaCom.c +++ b/src/base/cba/cbaCom.c @@ -100,7 +100,6 @@ int Cba_CommandRead( Abc_Frame_t * pAbc, int argc, char ** argv ) { FILE * pFile; Cba_Man_t * p = NULL; - Vec_Ptr_t * vDes = NULL; char * pFileName = NULL; int c, fUseAbc = 0, fUsePtr = 0, fVerbose = 0; Extra_UtilGetoptReset(); @@ -603,9 +602,8 @@ usage: ******************************************************************************/ int Cba_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) { - extern void Prs_ManReadBlifTest(); - - Cba_Man_t * p = Cba_AbcGetMan(pAbc); + extern void Prs_ManReadVerilogTest(); + //Cba_Man_t * p = Cba_AbcGetMan(pAbc); int c, fVerbose = 0; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "vh" ) ) != EOF ) @@ -628,7 +626,7 @@ int Cba_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; } */ - Prs_ManReadBlifTest(); + Prs_ManReadVerilogTest(); return 0; usage: Abc_Print( -2, "usage: @test [-vh]\n" ); |