diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-14 20:59:03 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-14 20:59:03 -0700 |
| commit | 2eec6c6c1714f4c5c39514828c8217ebcd04b498 (patch) | |
| tree | 49b0cefe3a3b71a1d03a1e364ff54d754e43fa57 /src/base/abci/abc.c | |
| parent | 60c901ea768a6c60de68923068429f7dd64b62d3 (diff) | |
| download | abc-2eec6c6c1714f4c5c39514828c8217ebcd04b498.tar.gz abc-2eec6c6c1714f4c5c39514828c8217ebcd04b498.tar.bz2 abc-2eec6c6c1714f4c5c39514828c8217ebcd04b498.zip | |
Experiments with simulation.
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 28 |
1 files changed, 27 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 03875daa..8f7dfb43 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -34030,6 +34030,8 @@ int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv ) int c, fVerbose = 0; int nFrames = 0; int fSwitch = 0; + int nWords = 1000; + int nProcs = 2; // extern Gia_Man_t * Gia_VtaTest( Gia_Man_t * p ); // extern int Gia_ManSuppSizeTest( Gia_Man_t * p ); // extern void Gia_VtaTest( Gia_Man_t * p, int nFramesStart, int nFramesMax, int nConfMax, int nTimeMax, int fVerbose ); @@ -34051,12 +34053,35 @@ int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv ) // extern Gia_Man_t * Unm_ManTest( Gia_Man_t * pGia ); // extern void Agi_ManTest( Gia_Man_t * pGia ); // extern void Gia_ManCheckFalseTest( Gia_Man_t * p, int nSlackMax ); + extern void Gia_ParTest( Gia_Man_t * p, int nWords, int nProcs ); Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "Fsvh" ) ) != EOF ) + while ( ( c = Extra_UtilGetopt( argc, argv, "WPFsvh" ) ) != EOF ) { switch ( c ) { + case 'W': + if ( globalUtilOptind >= argc ) + { + Abc_Print( -1, "Command line switch \"-W\" should be followed by an integer.\n" ); + goto usage; + } + nWords = atoi(argv[globalUtilOptind]); + globalUtilOptind++; + if ( nWords < 0 ) + goto usage; + break; + case 'P': + if ( globalUtilOptind >= argc ) + { + Abc_Print( -1, "Command line switch \"-P\" should be followed by an integer.\n" ); + goto usage; + } + nProcs = atoi(argv[globalUtilOptind]); + globalUtilOptind++; + if ( nProcs < 0 ) + goto usage; + break; case 'F': if ( globalUtilOptind >= argc ) { @@ -34131,6 +34156,7 @@ int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv ) // Gia_ManResubTest( pAbc->pGia ); // Jf_ManTestCnf( pAbc->pGia ); // Gia_ManCheckFalseTest( pAbc->pGia, nFrames ); + Gia_ParTest( pAbc->pGia, nWords, nProcs ); return 0; usage: Abc_Print( -2, "usage: &test [-F num] [-svh]\n" ); |