From 9ebcd9eca983890738bc76f84f4e276a9cb693d7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 4 Jul 2012 14:53:07 -0700
Subject: Various changes to enable sensitization-based refinement in &gla.

---
 src/aig/gia/giaAbsVta.c | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/aig/gia/giaAbsVta.c')

diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c
index 8a41ec40..40e5a45c 100644
--- a/src/aig/gia/giaAbsVta.c
+++ b/src/aig/gia/giaAbsVta.c
@@ -1674,6 +1674,12 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars )
                     Vga_ManRollBack( p, nObjOld );
                     goto finish;
                 }
+                // check timeout
+                if ( p->pSat->nRuntimeLimit && time(NULL) > p->pSat->nRuntimeLimit )
+                {
+                    Vga_ManRollBack( p, nObjOld );
+                    goto finish;
+                }
                 if ( vCore != NULL )
                 {
                     p->timeUnsat += clock() - clk2;
-- 
cgit v1.2.3