diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-03 19:32:20 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-03 19:32:20 -0500 |
| commit | f75e55bb4b8ca5499e5f0c06b02f531e8aa2ae0c (patch) | |
| tree | 592b60dc36c32215abc535f85a0c4263b8024a80 | |
| parent | 5b75410a5e0af4f99291393965efba7a5b5727c5 (diff) | |
| download | abc-f75e55bb4b8ca5499e5f0c06b02f531e8aa2ae0c.tar.gz abc-f75e55bb4b8ca5499e5f0c06b02f531e8aa2ae0c.tar.bz2 abc-f75e55bb4b8ca5499e5f0c06b02f531e8aa2ae0c.zip | |
Fixed &reachy to perform reparametrization in case reachability is disabled.
| -rw-r--r-- | src/aig/llb/llb4Nonlin.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/llb/llb4Nonlin.c b/src/aig/llb/llb4Nonlin.c index 24cd0ac5..b29796f1 100644 --- a/src/aig/llb/llb4Nonlin.c +++ b/src/aig/llb/llb4Nonlin.c @@ -1059,12 +1059,12 @@ int Llb_Nonlin4CoreReach( Aig_Man_t * pAig, Gia_ParLlb_t * pPars ) printf( "The number of objects is more than 2^15. Clustering cannot be used.\n" ); return RetValue; } - if ( !pPars->fSkipReach ) { int clk = clock(); pMnn = Llb_MnxStart( pAig, pPars ); //Llb_MnxCheckNextStateVars( pMnn ); - RetValue = Llb_Nonlin4Reachability( pMnn ); + if ( !pPars->fSkipReach ) + RetValue = Llb_Nonlin4Reachability( pMnn ); pMnn->timeTotal = clock() - clk; Llb_MnxStop( pMnn ); } |