summaryrefslogtreecommitdiffstats
path: root/src/aig/llb/llb4Nonlin.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-11-03 19:32:20 -0500
committerAlan Mishchenko <alanmi@berkeley.edu>2011-11-03 19:32:20 -0500
commitf75e55bb4b8ca5499e5f0c06b02f531e8aa2ae0c (patch)
tree592b60dc36c32215abc535f85a0c4263b8024a80 /src/aig/llb/llb4Nonlin.c
parent5b75410a5e0af4f99291393965efba7a5b5727c5 (diff)
downloadabc-f75e55bb4b8ca5499e5f0c06b02f531e8aa2ae0c.tar.gz
abc-f75e55bb4b8ca5499e5f0c06b02f531e8aa2ae0c.tar.bz2
abc-f75e55bb4b8ca5499e5f0c06b02f531e8aa2ae0c.zip
Fixed &reachy to perform reparametrization in case reachability is disabled.
Diffstat (limited to 'src/aig/llb/llb4Nonlin.c')
-rw-r--r--src/aig/llb/llb4Nonlin.c4
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 );
}