From fee0da2310abaade082819223a320325b4639fd1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 22 May 2014 16:41:11 +0900 Subject: Experiment with support minimization. --- src/misc/extra/extraUtilSupp.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/misc/extra/extraUtilSupp.c') diff --git a/src/misc/extra/extraUtilSupp.c b/src/misc/extra/extraUtilSupp.c index 1623bd01..44895c58 100644 --- a/src/misc/extra/extraUtilSupp.c +++ b/src/misc/extra/extraUtilSupp.c @@ -256,7 +256,7 @@ int Abc_SuppMinimize( unsigned * pMatrix, Vec_Int_t * p, int nBits, int fVerbose SeeAlso [] ***********************************************************************/ -void Abc_SuppTest( int nOnes, int nVars, int fUseSimple, int fVerbose ) +void Abc_SuppTest( int nOnes, int nVars, int fUseSimple, int fCheck, int fVerbose ) { int nVarsMin; unsigned Matrix[100]; @@ -275,7 +275,8 @@ void Abc_SuppTest( int nOnes, int nVars, int fUseSimple, int fVerbose ) nVarsMin = Abc_SuppMinimize( Matrix, vPairs, nVars, fVerbose ); printf( "Solution with %d variables found. ", nVarsMin ); Abc_PrintTime( 1, "Covering time", Abc_Clock() - clk ); - Abc_SuppVerify( vRes, Matrix, nVars, nVarsMin ); + if ( fCheck ) + Abc_SuppVerify( vRes, Matrix, nVars, nVarsMin ); Vec_IntFree( vPairs ); Vec_IntFree( vRes ); } -- cgit v1.2.3