From 9dfd8be57774e55b1d626fe48407199455379e1e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 8 Jul 2013 00:18:21 -0700
Subject: Adding timeout to AIG rewriting inside 'int'.

---
 src/proof/int/intCore.c | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/proof')

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 )
                 {
-- 
cgit v1.2.3