diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-10 12:40:04 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-10 12:40:04 -0700 |
commit | 747c6a6da5ead32aaa42341dfd347d90b05ded6e (patch) | |
tree | 7e8f6e2ae262218b30a0928ac38bae3efb630bb1 /src/base/acb/acbFunc.c | |
parent | 6e2e054509f3707fb5ad0a064e3733e9e7c6ee6f (diff) | |
download | abc-747c6a6da5ead32aaa42341dfd347d90b05ded6e.tar.gz abc-747c6a6da5ead32aaa42341dfd347d90b05ded6e.tar.bz2 abc-747c6a6da5ead32aaa42341dfd347d90b05ded6e.zip |
Various changes.
Diffstat (limited to 'src/base/acb/acbFunc.c')
-rw-r--r-- | src/base/acb/acbFunc.c | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/src/base/acb/acbFunc.c b/src/base/acb/acbFunc.c index e23dedbd..3f5a27fb 100644 --- a/src/base/acb/acbFunc.c +++ b/src/base/acb/acbFunc.c @@ -2748,7 +2748,7 @@ void Acb_NtkTestRun2( char * pFileNames[3], int fVerbose ) SeeAlso [] ***********************************************************************/ -void Acb_NtkRunEco( char * pFileNames[4], int fCheck, int fVerbose, int fVeryVerbose ) +void Acb_NtkRunEco( char * pFileNames[4], int fCheck, int fRandom, int fVerbose, int fVeryVerbose ) { char Command[1000]; int Result = 1; Acb_Ntk_t * pNtkF = Acb_VerilogSimpleRead( pFileNames[0], pFileNames[2] ); @@ -2758,8 +2758,12 @@ void Acb_NtkRunEco( char * pFileNames[4], int fCheck, int fVerbose, int fVeryVer //int * pArray = Vec_IntArray( &pNtkF->vTargets ); //ABC_SWAP( int, pArray[7], pArray[4] ); //Vec_IntReverseOrder( &pNtkF->vTargets ); - //Vec_IntPermute( &pNtkF->vTargets ); - //Vec_IntPrint( &pNtkF->vTargets ); + if ( fRandom ) + { + printf( "Permuting targets as follows: " ); + Vec_IntPermute( &pNtkF->vTargets ); + Vec_IntPrint( &pNtkF->vTargets ); + } assert( Acb_NtkCiNum(pNtkF) == Acb_NtkCiNum(pNtkG) ); assert( Acb_NtkCoNum(pNtkF) == Acb_NtkCoNum(pNtkG) ); @@ -2783,6 +2787,7 @@ void Acb_NtkRunEco( char * pFileNames[4], int fCheck, int fVerbose, int fVeryVer pFileNames[1], pFileNames[3] ? pFileNames[3] : "out.v" ); if ( Result && Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), Command ) ) fprintf( stdout, "Cannot execute command \"%s\".\n", Command ); + printf( "\n" ); } //////////////////////////////////////////////////////////////////////// |