From ae4b51351c93983a1285ce1028e3bbd90a6d5721 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 13 Jan 2011 12:38:59 -0800
Subject: Cumulative changes in the last few weeks.

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

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

diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c
index 4c19b4f5..581383ea 100644
--- a/src/aig/gia/giaEquiv.c
+++ b/src/aig/gia/giaEquiv.c
@@ -1049,6 +1049,11 @@ Gia_Man_t * Gia_ManSpecReduceInitFrames( Gia_Man_t * p, Abc_Cex_t * pInit, int n
             break;
         if ( f == nFramesMax )
             break;
+        if ( Gia_ManAndNum(pFrames) > 500000 )
+        {
+            Gia_ManStop( pFrames );
+            return NULL;
+        }
         Gia_ManStop( pFrames );
         pFrames = NULL;
     }
-- 
cgit v1.2.3