diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-08 00:18:21 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-08 00:18:21 -0700 |
commit | 9dfd8be57774e55b1d626fe48407199455379e1e (patch) | |
tree | 7dfb11a9cfdd86f20fe06bf6c5151382e9e8f327 /src/proof/int/intCore.c | |
parent | 07d3351c31c6f76f77c6881cd2fd7294eca091c1 (diff) | |
download | abc-9dfd8be57774e55b1d626fe48407199455379e1e.tar.gz abc-9dfd8be57774e55b1d626fe48407199455379e1e.tar.bz2 abc-9dfd8be57774e55b1d626fe48407199455379e1e.zip |
Adding timeout to AIG rewriting inside 'int'.
Diffstat (limited to 'src/proof/int/intCore.c')
-rw-r--r-- | src/proof/int/intCore.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/proof/int/intCore.c b/src/proof/int/intCore.c index 1418402c..f4251215 100644 --- a/src/proof/int/intCore.c +++ b/src/proof/int/intCore.c @@ -280,13 +280,11 @@ p->timeEqu += Abc_Clock() - clk; clk = Abc_Clock(); if ( p->pInterNew ) { - Abc_PrintTime( 1, "Before time", clock() - clkTotal ); // save the timeout value p->pInterNew->Time2Quit = nTimeNewOut; // Ioa_WriteAiger( p->pInterNew, "interpol.aig", 0, 0 ); p->pInterNew = Dar_ManRwsat( pAigTemp = p->pInterNew, 1, 0 ); // p->pInterNew = Dar_ManRwsat( pAigTemp = p->pInterNew, 0, 0 ); - Abc_PrintTime( 1, "After time", clock() - clkTotal ); Aig_ManStop( pAigTemp ); if ( p->pInterNew == NULL ) { |