summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-07-01 15:33:32 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-07-01 15:33:32 -0700
commit779cff2193054007600019c694946a95f8395b9c (patch)
treed17ab7ba0e54423978f1fe0f281015602707d77c
parent64e2ee223bd6ae2b5950c08e3b1e7c22979509c5 (diff)
downloadabc-779cff2193054007600019c694946a95f8395b9c.tar.gz
abc-779cff2193054007600019c694946a95f8395b9c.tar.bz2
abc-779cff2193054007600019c694946a95f8395b9c.zip
Bug fix in the timeout for 'int'.
-rw-r--r--src/sat/bsat/satInterA.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satInterA.c b/src/sat/bsat/satInterA.c
index b3b4ec7f..3360c03f 100644
--- 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