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

Adding timeout to AIG rewriting inside 'int'.

This commit is contained in:
Alan Mishchenko 2013-07-08 00:18:21 -07:00
parent 07d3351c31
commit 9dfd8be577
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/proof/int/intCore.c
View File

@ -280,13 +280,11 @@ p->timeEqu += Abc_Clock() - clk;
clk = Abc_Clock(); clk = Abc_Clock();
if ( p->pInterNew ) if ( p->pInterNew )
{ {
Abc_PrintTime( 1, "Before time", clock() - clkTotal );
// save the timeout value // save the timeout value
p->pInterNew->Time2Quit = nTimeNewOut; p->pInterNew->Time2Quit = nTimeNewOut;
// Ioa_WriteAiger( p->pInterNew, "interpol.aig", 0, 0 ); // Ioa_WriteAiger( p->pInterNew, "interpol.aig", 0, 0 );
p->pInterNew = Dar_ManRwsat( pAigTemp = p->pInterNew, 1, 0 ); p->pInterNew = Dar_ManRwsat( pAigTemp = p->pInterNew, 1, 0 );
// p->pInterNew = Dar_ManRwsat( pAigTemp = p->pInterNew, 0, 0 ); // p->pInterNew = Dar_ManRwsat( pAigTemp = p->pInterNew, 0, 0 );
Abc_PrintTime( 1, "After time", clock() - clkTotal );
Aig_ManStop( pAigTemp ); Aig_ManStop( pAigTemp );
if ( p->pInterNew == NULL ) if ( p->pInterNew == NULL )
{ {