Fixed problem with timeout in &bmc.

efc1c858 · Alan Mishchenko · 227963f0 · efc1c858
Commit efc1c858 authored Dec 18, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

src/sat/bmc/bmcBmcAnd.c
+2 -0

No files found.
--- 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;
    }