diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-01-23 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-01-23 08:01:00 -0800 |
| commit | 6c68b76bff33daa7cd94b78c51bdd4cdaf65059c (patch) | |
| tree | feb304b4b8bf8e9a7ae7039b4ff745e997208b41 /src/base | |
| parent | d4fecf91efcd090caa9a5cbfb05059361e84c4ec (diff) | |
| download | abc-6c68b76bff33daa7cd94b78c51bdd4cdaf65059c.tar.gz abc-6c68b76bff33daa7cd94b78c51bdd4cdaf65059c.tar.bz2 abc-6c68b76bff33daa7cd94b78c51bdd4cdaf65059c.zip | |
Version abc80123
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 396cf598..bb525275 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -6367,7 +6367,7 @@ usage: int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) { FILE * pOut, * pErr; - Abc_Ntk_t * pNtk, * pNtkRes; + Abc_Ntk_t * pNtk;//, * pNtkRes; int c; int fBmc; int nFrames; @@ -6544,7 +6544,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; } */ - +/* // pNtkRes = Abc_NtkDar( pNtk ); // pNtkRes = Abc_NtkDarRetime( pNtk, nLevels, 1 ); pNtkRes = Abc_NtkPcmTest( pNtk, fVerbose ); @@ -6556,18 +6556,18 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) } // replace the current network Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes ); - +*/ // Abc_NtkDarHaigRecord( pNtk ); // Abc_NtkDarClau( pNtk, nFrames, nLevels, fBmc, fVerbose, fVeryVerbose ); -/* + if ( globalUtilOptind != 1 ) { fprintf( pErr, "Command has failed.\n" ); return 1; } Abc_NtkDarTestBlif( argv[globalUtilOptind] ); -*/ + return 0; usage: fprintf( pErr, "usage: test [-vwh]\n" ); |