diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-04 17:31:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-04 17:31:00 -0700 |
| commit | 4875dfcb9b6a0c8d69e9a10221ed9472fb3231a0 (patch) | |
| tree | 14068db96e4e8b2a446ffa7ad6af8e0280ae9306 /src/proof/cec | |
| parent | ed695b74ee317a735089956a1698e73b06c7c182 (diff) | |
| download | abc-4875dfcb9b6a0c8d69e9a10221ed9472fb3231a0.tar.gz abc-4875dfcb9b6a0c8d69e9a10221ed9472fb3231a0.tar.bz2 abc-4875dfcb9b6a0c8d69e9a10221ed9472fb3231a0.zip | |
Adding CEC command &splitprove.
Diffstat (limited to 'src/proof/cec')
| -rw-r--r-- | src/proof/cec/cecSplit.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/cec/cecSplit.c b/src/proof/cec/cecSplit.c index deeef87e..078eed50 100644 --- a/src/proof/cec/cecSplit.c +++ b/src/proof/cec/cecSplit.c @@ -617,7 +617,7 @@ int Cec_GiaSplitTest( Gia_Man_t * p, int nProcs, int nTimeOut, int nIterMax, int if ( pLast->vCofVars == NULL ) pLast->vCofVars = Vec_IntAlloc( 100 ); if ( fVerbose ) - Cec_GiaSplitPrint( i, Depth, ThData[i].nVars, ThData[i].nConfs, ThData[i].Result, Progress, Abc_Clock() - clkTotal ); + Cec_GiaSplitPrint( i+1, Depth, ThData[i].nVars, ThData[i].nConfs, ThData[i].Result, Progress, Abc_Clock() - clkTotal ); if ( ThData[i].Result == 0 ) // SAT { p->pCexComb = pLast->pCexComb; pLast->pCexComb = NULL; |