From efc1c8588e674d4bd4df1aaaa81f2892da56e0f7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 18 Dec 2013 16:21:10 +0700
Subject: Fixed problem with timeout in &bmc.

---
 src/sat/bmc/bmcBmcAnd.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/sat')

diff --git a/src/sat/bmc/bmcBmcAnd.c b/src/sat/bmc/bmcBmcAnd.c
index 1b2e3240..e1869404 100644
--- a/src/sat/bmc/bmcBmcAnd.c
+++ b/src/sat/bmc/bmcBmcAnd.c
@@ -1081,6 +1081,8 @@ int Gia_ManBmcPerform( Gia_Man_t * pGia, Bmc_AndPar_t * pPars )
             if ( pPars->nTimeOut <= 0 )
                 return -1;
         }
+        else
+            return -1;
         // set the new frames limit
         pPars->nFramesAdd *= 2;
     }
-- 
cgit v1.2.3