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

Sweeper assertion.

This commit is contained in:
Alan Mishchenko 2013-11-01 11:22:04 -04:00
parent e4ab09d771
commit 7b6e7181e0
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/proof/ssc/sscSat.c
View File

@ -349,6 +349,7 @@ int Ssc_ManCheckEquivalence( Ssc_Man_t * p, int iRepr, int iNode, int fCompl )
{ {
int pLitsSat[2], RetValue; int pLitsSat[2], RetValue;
abctime clk; abctime clk;
assert( iRepr != iNode );
assert( iRepr < iNode ); assert( iRepr < iNode );
// if ( p->nTimeOut ) // if ( p->nTimeOut )
// sat_solver_set_runtime_limit( p->pSat, p->nTimeOut * CLOCKS_PER_SEC + Abc_Clock() ); // sat_solver_set_runtime_limit( p->pSat, p->nTimeOut * CLOCKS_PER_SEC + Abc_Clock() );