diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-08 11:09:12 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-08 11:09:12 -0800 |
| commit | 7977b2dd5ddc5483c8f3f94f6d721abbe78fd351 (patch) | |
| tree | b491e37b832d1dbb4de304d94ee640d61467e128 /src/aig/llb | |
| parent | 53217cdc8b87d693fe187b788ca5aaa9daf0ab32 (diff) | |
| download | abc-7977b2dd5ddc5483c8f3f94f6d721abbe78fd351.tar.gz abc-7977b2dd5ddc5483c8f3f94f6d721abbe78fd351.tar.bz2 abc-7977b2dd5ddc5483c8f3f94f6d721abbe78fd351.zip | |
Modificationd to CUDD to enable runtime-limit in variable reordering.
Diffstat (limited to 'src/aig/llb')
| -rw-r--r-- | src/aig/llb/llb3Nonlin.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/aig/llb/llb3Nonlin.c b/src/aig/llb/llb3Nonlin.c index 2b4272d9..adab5b0b 100644 --- a/src/aig/llb/llb3Nonlin.c +++ b/src/aig/llb/llb3Nonlin.c @@ -401,6 +401,10 @@ int Llb_NonlinReachability( Llb_Mnn_t * p ) p->pPars->TimeTarget = clock() + p->pPars->TimeLimit * CLOCKS_PER_SEC; else p->pPars->TimeTarget = 0; + // set the stop time parameter + p->dd->TimeStop = p->pPars->TimeTarget; + p->ddG->TimeStop = p->pPars->TimeTarget; + p->ddR->TimeStop = p->pPars->TimeTarget; // set reordering hooks assert( p->dd->bFunc == NULL ); |