luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Adding CEC command &splitprove.

This commit is contained in:
Alan Mishchenko 2014-06-04 17:31:00 -07:00
parent ed695b74ee
commit 4875dfcb9b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/proof/cec/cecSplit.c
View File

@ -617,7 +617,7 @@ int Cec_GiaSplitTest( Gia_Man_t * p, int nProcs, int nTimeOut, int nIterMax, int
if ( pLast->vCofVars == NULL ) if ( pLast->vCofVars == NULL )
pLast->vCofVars = Vec_IntAlloc( 100 ); pLast->vCofVars = Vec_IntAlloc( 100 );
if ( fVerbose ) 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 if ( ThData[i].Result == 0 ) // SAT
{ {
p->pCexComb = pLast->pCexComb; pLast->pCexComb = NULL; p->pCexComb = pLast->pCexComb; pLast->pCexComb = NULL;