Bug fix in the timeout for 'int'.

779cff21 · Alan Mishchenko · 64e2ee22 · 779cff21
Commit 779cff21 authored Jul 01, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/sat/bsat/satInterA.c
+1 -1

No files found.
--- a/src/sat/bsat/satInterA.c
+++ b/src/sat/bsat/satInterA.c
@@ -956,7 +956,7 @@ void * Inta_ManInterpolate( Inta_Man_t * p, Sto_Man_t * pCnf, abctime TimeToStop
    int RetValue = 1;
    abctime clkTotal = Abc_Clock();

-    if ( Abc_Clock() > TimeToStop )
+    if ( TimeToStop && Abc_Clock() > TimeToStop )
        return NULL;

    // check that the CNF makes sense