diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-01-15 20:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-01-15 20:01:00 -0800 |
commit | 4a61139de0b9a50e8dda80845e379d4b937043dc (patch) | |
tree | 1c04cf07a2f363712f14be6232817fd7f67b69d9 /src/base/abci | |
parent | ac787628583903d3762c82e5aa12fa592cb65097 (diff) | |
download | abc-4a61139de0b9a50e8dda80845e379d4b937043dc.tar.gz abc-4a61139de0b9a50e8dda80845e379d4b937043dc.tar.bz2 abc-4a61139de0b9a50e8dda80845e379d4b937043dc.zip |
Version abc80115_2
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abc.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 89eb80a6..1108238c 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -6311,7 +6311,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) extern Abc_Ntk_t * Abc_NtkDarToCnf( Abc_Ntk_t * pNtk, char * pFileName ); extern Abc_Ntk_t * Abc_NtkFilter( Abc_Ntk_t * pNtk ); // extern Abc_Ntk_t * Abc_NtkDarRetime( Abc_Ntk_t * pNtk, int nStepsMax, int fVerbose ); -// extern Abc_Ntk_t * Abc_NtkPcmTest( Abc_Ntk_t * pNtk, int fVerbose ); + extern Abc_Ntk_t * Abc_NtkPcmTest( Abc_Ntk_t * pNtk, int fVerbose ); extern Abc_NtkDarHaigRecord( Abc_Ntk_t * pNtk ); extern void Abc_NtkDarTestBlif( char * pFileName ); @@ -6464,7 +6464,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; } */ -/* + if ( Abc_NtkIsStrash(pNtk) ) { fprintf( stdout, "Currently only works for logic circuits.\n" ); @@ -6482,17 +6482,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" ); |