diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-16 19:38:43 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-16 19:38:43 +0700 |
commit | 7fe11c51cfb050dafef1cf875dc4eb4e65352465 (patch) | |
tree | b27983a74456b0cac4561c537cb46e1f868763a0 /src/proof/cec/cecCore.c | |
parent | 1e757a85670b295384e16fa9ce534ffceca6be71 (diff) | |
download | abc-7fe11c51cfb050dafef1cf875dc4eb4e65352465.tar.gz abc-7fe11c51cfb050dafef1cf875dc4eb4e65352465.tar.bz2 abc-7fe11c51cfb050dafef1cf875dc4eb4e65352465.zip |
Several bug fixes and silencing requests.
Diffstat (limited to 'src/proof/cec/cecCore.c')
-rw-r--r-- | src/proof/cec/cecCore.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/proof/cec/cecCore.c b/src/proof/cec/cecCore.c index 71335e85..c9e9f67a 100644 --- a/src/proof/cec/cecCore.c +++ b/src/proof/cec/cecCore.c @@ -334,7 +334,7 @@ void Cec_ManSimulation( Gia_Man_t * pAig, Cec_ParSim_t * pPars ) SeeAlso [] ***********************************************************************/ -Gia_Man_t * Cec_ManSatSweeping( Gia_Man_t * pAig, Cec_ParFra_t * pPars ) +Gia_Man_t * Cec_ManSatSweeping( Gia_Man_t * pAig, Cec_ParFra_t * pPars, int fSilent ) { int fOutputResult = 0; Cec_ParSat_t ParsSat, * pParsSat = &ParsSat; @@ -521,12 +521,13 @@ finalize: pTemp = p->pAig; p->pAig = NULL; if ( pTemp == NULL && pSim->iOut >= 0 ) { + if ( !fSilent ) Abc_Print( 1, "Disproved at least one output of the miter (zero-based number %d).\n", pSim->iOut ); pPars->iOutFail = pSim->iOut; } - else if ( pSim->pCexes ) + else if ( pSim->pCexes && !fSilent ) Abc_Print( 1, "Disproved %d outputs of the miter.\n", pSim->nOuts ); - if ( fTimeOut ) + if ( fTimeOut && !fSilent ) Abc_Print( 1, "Timed out after %d seconds.\n", (int)((double)Abc_Clock() - clkTotal)/CLOCKS_PER_SEC ); pAig->pCexComb = pSim->pCexComb; pSim->pCexComb = NULL; |