From 4a61139de0b9a50e8dda80845e379d4b937043dc Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 15 Jan 2008 20:01:00 -0800 Subject: Version abc80115_2 --- src/base/abci/abc.c | 9 +++++---- src/map/pcm/module.make | 0 src/map/ply/module.make | 0 3 files changed, 5 insertions(+), 4 deletions(-) create mode 100644 src/map/pcm/module.make create mode 100644 src/map/ply/module.make (limited to 'src') 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" ); diff --git a/src/map/pcm/module.make b/src/map/pcm/module.make new file mode 100644 index 00000000..e69de29b diff --git a/src/map/ply/module.make b/src/map/ply/module.make new file mode 100644 index 00000000..e69de29b -- cgit v1.2.3