diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-08 21:11:09 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-08 21:11:09 -0700 |
commit | dab716878f6e0f0cabadc480e7cc7cf7cacd8acb (patch) | |
tree | 9fa1264af598e47a25505eb2e8a6997944029cdb /src/base/acb/acbUtil.c | |
parent | 5d580c05de6d6275dba2fd991837bef4cbd835f5 (diff) | |
download | abc-dab716878f6e0f0cabadc480e7cc7cf7cacd8acb.tar.gz abc-dab716878f6e0f0cabadc480e7cc7cf7cacd8acb.tar.bz2 abc-dab716878f6e0f0cabadc480e7cc7cf7cacd8acb.zip |
Various changes.
Diffstat (limited to 'src/base/acb/acbUtil.c')
-rw-r--r-- | src/base/acb/acbUtil.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/acb/acbUtil.c b/src/base/acb/acbUtil.c index 11af9c01..131aeb7a 100644 --- a/src/base/acb/acbUtil.c +++ b/src/base/acb/acbUtil.c @@ -918,13 +918,13 @@ void Acb_NtkInsert( char * pFileNameIn, char * pFileNameOut, Vec_Ptr_t * vNames, SeeAlso [] ***********************************************************************/ -void Acb_NtkRunSim( char * pFileName[4], int nWords, int nBeam, int LevL, int LevU, int fOrder, int fFancy, int fUseBuf, int fVerbose ) +void Acb_NtkRunSim( char * pFileName[4], int nWords, int nBeam, int LevL, int LevU, int fOrder, int fFancy, int fUseBuf, int fVerbose, int fVeryVerbose ) { extern int Gia_Sim4Try( char * pFileName0, char * pFileName1, char * pFileName2, int nWords, int nBeam, int LevL, int LevU, int fOrder, int fFancy, int fUseBuf, int fVerbose ); - extern void Acb_NtkRunEco( char * pFileNames[4], int fCheck, int fVerbose ); + extern void Acb_NtkRunEco( char * pFileNames[4], int fCheck, int fVerbose, int fVeryVerbose ); char * pFileNames[4] = { pFileName[2], pFileName[1], NULL, pFileName[2] }; if ( Gia_Sim4Try( pFileName[0], pFileName[1], pFileName[2], nWords, nBeam, LevL, LevU, fOrder, fFancy, fUseBuf, fVerbose ) ) - Acb_NtkRunEco( pFileNames, 1, fVerbose ); + Acb_NtkRunEco( pFileNames, 1, fVerbose, fVeryVerbose ); } |