diff options
Diffstat (limited to 'src/misc/extra/extraUtilSupp.c')
-rw-r--r-- | src/misc/extra/extraUtilSupp.c | 5 |
1 files changed, 3 insertions, 2 deletions
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 ); } |