diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-01 15:33:32 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-01 15:33:32 -0700 |
| commit | 779cff2193054007600019c694946a95f8395b9c (patch) | |
| tree | d17ab7ba0e54423978f1fe0f281015602707d77c /src | |
| parent | 64e2ee223bd6ae2b5950c08e3b1e7c22979509c5 (diff) | |
| download | abc-779cff2193054007600019c694946a95f8395b9c.tar.gz abc-779cff2193054007600019c694946a95f8395b9c.tar.bz2 abc-779cff2193054007600019c694946a95f8395b9c.zip | |
Bug fix in the timeout for 'int'.
Diffstat (limited to 'src')
| -rw-r--r-- | src/sat/bsat/satInterA.c | 2 |
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 |