diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-13 09:00:39 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-13 09:00:39 -0700 |
commit | 42ae280089888fd6f4748625dc7b1edf5ad601f0 (patch) | |
tree | b730c8d66f5a046fe9ca839971f7bdd78e6ef1fa /src/aig/gia/giaFx.c | |
parent | 3b76bc2792e3e0b717d2eca5fc3469d5dfaaab0c (diff) | |
download | abc-42ae280089888fd6f4748625dc7b1edf5ad601f0.tar.gz abc-42ae280089888fd6f4748625dc7b1edf5ad601f0.tar.bz2 abc-42ae280089888fd6f4748625dc7b1edf5ad601f0.zip |
Removing verbose output in &cec and &syn4.
Diffstat (limited to 'src/aig/gia/giaFx.c')
-rw-r--r-- | src/aig/gia/giaFx.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaFx.c b/src/aig/gia/giaFx.c index 4fff177c..c6eae6c7 100644 --- a/src/aig/gia/giaFx.c +++ b/src/aig/gia/giaFx.c @@ -455,7 +455,7 @@ Gia_Man_t * Gia_ManFxInsert( Gia_Man_t * p, Vec_Wec_t * vCubes, Vec_Str_t * vCom ***********************************************************************/ Gia_Man_t * Gia_ManPerformFx( Gia_Man_t * p, int nNewNodesMax, int LitCountMax, int fReverse, int fVerbose, int fVeryVerbose ) { - extern int Fx_FastExtract( Vec_Wec_t * vCubes, int ObjIdMax, int nNewNodesMax, int LitCountMax, int fVerbose, int fVeryVerbose ); + extern int Fx_FastExtract( Vec_Wec_t * vCubes, int ObjIdMax, int nNewNodesMax, int LitCountMax, int fCanonDivs, int fVerbose, int fVeryVerbose ); Gia_Man_t * pNew = NULL; Vec_Wec_t * vCubes; Vec_Str_t * vCompl; @@ -467,7 +467,7 @@ Gia_Man_t * Gia_ManPerformFx( Gia_Man_t * p, int nNewNodesMax, int LitCountMax, vCubes = Gia_ManFxRetrieve( p, &vCompl, fReverse ); // call the fast extract procedure // clk = Abc_Clock(); - Fx_FastExtract( vCubes, Vec_StrSize(vCompl), nNewNodesMax, LitCountMax, fVerbose, fVeryVerbose ); + Fx_FastExtract( vCubes, Vec_StrSize(vCompl), nNewNodesMax, LitCountMax, 0, fVerbose, fVeryVerbose ); // Abc_PrintTime( 1, "Fx runtime", Abc_Clock() - clk ); // insert information pNew = Gia_ManFxInsert( p, vCubes, vCompl ); |