From c645bac3663c265470024b44ed91b0afdbe59b88 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 10 Apr 2008 08:01:00 -0700
Subject: Version abc80410

---
 src/aig/fra/fraSec.c | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'src/aig/fra/fraSec.c')

diff --git a/src/aig/fra/fraSec.c b/src/aig/fra/fraSec.c
index 389c3e2f..012c7651 100644
--- a/src/aig/fra/fraSec.c
+++ b/src/aig/fra/fraSec.c
@@ -47,13 +47,18 @@ int Fra_FraigSec( Aig_Man_t * p, int nFramesMax, int fRetimeFirst, int fFraiging
     Aig_Man_t * pNew, * pTemp;
     int nFrames, RetValue, nIter, clk, clkTotal = clock();
     int fLatchCorr = 0;
+
+    // try the miter before solving
+    RetValue = Fra_FraigMiterStatus( p );
+    if ( RetValue == 0 || RetValue == 1 )
+        goto finish;
+
     // prepare parameters
     memset( pPars, 0, sizeof(Fra_Ssw_t) );
     pPars->fLatchCorr  = fLatchCorr;
     pPars->fVerbose = fVeryVerbose;
 
-    pNew = Aig_ManDupOrdered( p );
-//    pNew = Aig_ManDupDfs( p );
+    pNew = Aig_ManDup( p );
     if ( fVerbose )
     {
         printf( "Original miter:       Latches = %5d. Nodes = %6d.\n", 
@@ -208,6 +213,7 @@ PRT( "Time", clock() - clkTotal );
     // get the miter status
     RetValue = Fra_FraigMiterStatus( pNew );
 
+finish:
     // report the miter
     if ( RetValue == 1 )
     {
-- 
cgit v1.2.3