diff options
Diffstat (limited to 'src/aig/llb/llb4Nonlin.c')
| -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 ); } |