From 847ac96f6e9bad90e43550fb063988638fdd995c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 11 Apr 2016 22:55:06 -0700 Subject: Updates to Exorcism package --- src/base/exor/exor.c | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'src/base/exor') 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 ) { -- cgit v1.2.3