luke/abc
1
0
Fork 0
mirror of https://github.com/YosysHQ/abc.git synced 2026-09-07 11:11:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Added restarts to PDR.

Browse Source
This commit is contained in:
Alan Mishchenko
2012-02-14 00:17:01 -08:00
parent 77b5dc261e
commit faa934e2e6
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/proof/pdr/pdrCore.c
+1 -1
View File
@@ -432,7 +432,7 @@ int Pdr_ManBlockCube( Pdr_Man_t * p, Pdr_Set_t * pCube )
return 0; // SAT
if ( p->nQueLim && p->nQueCur >= p->nQueLim )
{
p->nQueLim = p->nQueLim * 11 / 10;
p->nQueLim = p->nQueLim * 3 / 2;
Pdr_QueueStop( p );
return 1; // restart
}