diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-31 15:04:47 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-31 15:04:47 -0500 |
| commit | 5b75410a5e0af4f99291393965efba7a5b5727c5 (patch) | |
| tree | 159d62407ad1c114a28b3a06ed6eb863191a3029 /src/misc | |
| parent | 868a1b9aeb2bf825a68c37c530107efe72d50d5d (diff) | |
| download | abc-5b75410a5e0af4f99291393965efba7a5b5727c5.tar.gz abc-5b75410a5e0af4f99291393965efba7a5b5727c5.tar.bz2 abc-5b75410a5e0af4f99291393965efba7a5b5727c5.zip | |
Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/extra/extraBddMisc.c | 8 | ||||
| -rw-r--r-- | src/misc/extra/extraBddTime.c | 6 |
2 files changed, 7 insertions, 7 deletions
diff --git a/src/misc/extra/extraBddMisc.c b/src/misc/extra/extraBddMisc.c index 0bc4a8c5..3af9c81e 100644 --- a/src/misc/extra/extraBddMisc.c +++ b/src/misc/extra/extraBddMisc.c @@ -1348,9 +1348,9 @@ extraTransferPermuteRecur( if ( st_lookup( table, ( char * ) f, ( char ** ) &res ) ) return ( Cudd_NotCond( res, comple ) ); - if ( ddS->TimeStop && ddS->TimeStop < clock() ) + if ( ddS->TimeStop && time(NULL) > ddS->TimeStop ) return NULL; - if ( ddD->TimeStop && ddD->TimeStop < clock() ) + if ( ddD->TimeStop && time(NULL) > ddD->TimeStop ) return NULL; /* Recursive step. */ @@ -1909,9 +1909,9 @@ DdNode * extraBddAndPermute( DdHashTable * table, DdManager * ddF, DdNode * bF, return bRes; Counter++; - if ( ddF->TimeStop && ddF->TimeStop < clock() ) + if ( ddF->TimeStop && time(NULL) > ddF->TimeStop ) return NULL; - if ( ddG->TimeStop && ddG->TimeStop < clock() ) + if ( ddG->TimeStop && time(NULL) > ddG->TimeStop ) return NULL; // find the topmost variable in F and G using var order of F diff --git a/src/misc/extra/extraBddTime.c b/src/misc/extra/extraBddTime.c index 9cc5ce89..b861d51a 100644 --- a/src/misc/extra/extraBddTime.c +++ b/src/misc/extra/extraBddTime.c @@ -225,7 +225,7 @@ cuddBddAndRecurTime( } // if ( TimeOut && ((*pRecCalls)++ % CHECK_FACTOR) == 0 && TimeOut < clock() ) - if ( TimeOut && TimeOut < clock() ) + if ( TimeOut && time(NULL) > TimeOut ) return NULL; /* Here we can skip the use of cuddI, because the operands are known @@ -379,7 +379,7 @@ cuddBddAndAbstractRecurTime( } // if ( TimeOut && ((*pRecCalls)++ % CHECK_FACTOR) == 0 && TimeOut < clock() ) - if ( TimeOut && TimeOut < clock() ) + if ( TimeOut && time(NULL) > TimeOut ) return NULL; if (topf == top) { @@ -596,7 +596,7 @@ extraTransferPermuteRecurTime( if ( st_lookup( table, ( char * ) f, ( char ** ) &res ) ) return ( Cudd_NotCond( res, comple ) ); - if ( TimeOut && TimeOut < clock() ) + if ( TimeOut && time(NULL) > TimeOut ) return NULL; /* Recursive step. */ |