diff options
Diffstat (limited to 'src/aig/fra')
-rw-r--r-- | src/aig/fra/fraLcr.c | 6 | ||||
-rw-r--r-- | src/aig/fra/fraSec.c | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/fra/fraLcr.c b/src/aig/fra/fraLcr.c index e5222e2e..c957a751 100644 --- a/src/aig/fra/fraLcr.c +++ b/src/aig/fra/fraLcr.c @@ -533,7 +533,7 @@ Aig_Man_t * Fra_FraigLatchCorrespondence( Aig_Man_t * pAig, int nFramesP, int nC Fra_Lcr_t * p; Fra_Sml_t * pSml; Fra_Man_t * pTemp; - Aig_Man_t * pAigPart, * pAigNew = NULL; + Aig_Man_t * pAigPart, * pAigTemp, * pAigNew = NULL; Vec_Int_t * vPart; int i, nIter, timeSim, clk = clock(), clk2, clk3; int TimeToStop = (TimeLimit == 0.0)? 0 : clock() + (int)(TimeLimit * CLOCKS_PER_SEC); @@ -623,9 +623,9 @@ clk2 = clock(); pAigPart = Fra_LcrCreatePart( p, vPart ); p->timeTrav += clock() - clk2; clk2 = clock(); - pAigNew = Fra_FraigEquivence( pAigPart, nConfMax, 0 ); + pAigTemp = Fra_FraigEquivence( pAigPart, nConfMax, 0 ); p->timeFraig += clock() - clk2; - Vec_PtrPush( p->vFraigs, pAigNew ); + Vec_PtrPush( p->vFraigs, pAigTemp ); Aig_ManStop( pAigPart ); } Fra_ClassNodesUnmark( p ); diff --git a/src/aig/fra/fraSec.c b/src/aig/fra/fraSec.c index 2ca99cbf..4528b9c4 100644 --- a/src/aig/fra/fraSec.c +++ b/src/aig/fra/fraSec.c @@ -57,7 +57,7 @@ void Fra_SecSetDefaultParams( Fra_Sec_t * p ) p->fVeryVerbose = 0; // enables very verbose reporting p->TimeLimit = 0; // enables the timeout // internal parameters - p->fReportSolution = 0; // enables specialized format for reporting solution + p->fReportSolution = 1; // enables specialized format for reporting solution } /**Function************************************************************* |