diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-09 15:42:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-09 15:42:25 -0700 |
| commit | daeffe791cb2f6690a23f4cf4d0d3101a5ac54b5 (patch) | |
| tree | 25cfc25fa019bf143410c3cb672c8c518a3489f5 /src/proof/pdr | |
| parent | fed18333e2bb055cf253244da9362f862c2be091 (diff) | |
| download | abc-daeffe791cb2f6690a23f4cf4d0d3101a5ac54b5.tar.gz abc-daeffe791cb2f6690a23f4cf4d0d3101a5ac54b5.tar.bz2 abc-daeffe791cb2f6690a23f4cf4d0d3101a5ac54b5.zip | |
Making report about the number of correcty covered frames consistent across the engines.
Diffstat (limited to 'src/proof/pdr')
| -rw-r--r-- | src/proof/pdr/pdrCore.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/pdr/pdrCore.c b/src/proof/pdr/pdrCore.c index 5cb05143..ca2ca5a0 100644 --- a/src/proof/pdr/pdrCore.c +++ b/src/proof/pdr/pdrCore.c @@ -709,6 +709,7 @@ int Pdr_ManSolve_( Aig_Man_t * pAig, Pdr_Par_t * pPars, Vec_Int_t ** pvPrioInit, p->vPrio = NULL; } Pdr_ManStop( p ); + pPars->iFrame--; return RetValue; } |