diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-11 22:55:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-11 22:55:06 -0700 |
| commit | 847ac96f6e9bad90e43550fb063988638fdd995c (patch) | |
| tree | ee1a04a014c4af258dd84b0df3521791f6968aaf /src/base/exor | |
| parent | 9522aeea1977631692cfbf7e92af133ae212c2a0 (diff) | |
| download | abc-847ac96f6e9bad90e43550fb063988638fdd995c.tar.gz abc-847ac96f6e9bad90e43550fb063988638fdd995c.tar.bz2 abc-847ac96f6e9bad90e43550fb063988638fdd995c.zip | |
Updates to Exorcism package
Diffstat (limited to 'src/base/exor')
| -rw-r--r-- | src/base/exor/exor.c | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/base/exor/exor.c b/src/base/exor/exor.c index ac861daa..59d524f9 100644 --- a/src/base/exor/exor.c +++ b/src/base/exor/exor.c @@ -801,16 +801,14 @@ int Exorcism( Vec_Wec_t * vEsop, int nIns, int nOuts, char * pFileNameOut ) int Abc_ExorcismMain( Vec_Wec_t * vEsop, int nIns, int nOuts, char * pFileNameOut, int Quality, int Verbosity ) { memset( &g_CoverInfo, 0, sizeof(cinfo) ); - g_CoverInfo.Quality = Quality; g_CoverInfo.Verbosity = Verbosity; - - printf( "EXORCISM, Ver.4.7: Exclusive Sum-of-Product Minimizer\n" ); - printf( "by Alan Mishchenko, Portland State University, July-September 2000\n" ); - if ( g_CoverInfo.Verbosity ) + { + printf( "\nEXORCISM, Ver.4.7: Exclusive Sum-of-Product Minimizer\n" ); + printf( "by Alan Mishchenko, Portland State University, July-September 2000\n\n" ); printf( "Incoming ESOP has %d inputs, %d outputs, and %d cubes.\n", nIns, nOuts, Vec_WecSize(vEsop) ); - + } PrepareBitSetModule(); if ( Exorcism( vEsop, nIns, nOuts, pFileNameOut ) == 0 ) { |