Skip to content

A
abc
Commit 5f6244c6 by Alan Mishchenko
Options

Tuning for multi-ouptut solver.

parent 0f29c62e
Showing with 1 additions and 1 deletions
src/proof/pdr/pdrCore.c
...@@ -879,7 +879,7 @@ int Pdr_ManSolve( Aig_Man_t * pAig, Pdr_Par_t * pPars ) ...@@ -879,7 +879,7 @@ int Pdr_ManSolve( Aig_Man_t * pAig, Pdr_Par_t * pPars )
abctime clk = Abc_Clock(); abctime clk = Abc_Clock();
if ( pPars->nTimeOutOne && !pPars->fSolveAll ) if ( pPars->nTimeOutOne && !pPars->fSolveAll )
pPars->nTimeOutOne = 0; pPars->nTimeOutOne = 0;
if ( pPars->nTimeOutOne ) if ( pPars->nTimeOutOne && pPars->nTimeOut == 0 )
pPars->nTimeOut = pPars->nTimeOutOne * Saig_ManPoNum(pAig) / 1000 + (int)((pPars->nTimeOutOne * Saig_ManPoNum(pAig) % 1000) > 0); pPars->nTimeOut = pPars->nTimeOutOne * Saig_ManPoNum(pAig) / 1000 + (int)((pPars->nTimeOutOne * Saig_ManPoNum(pAig) % 1000) > 0);
if ( pPars->fVerbose ) if ( pPars->fVerbose )
{ {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment