From 655a50101e18176f1163ccfc67cf69d86623d1f2 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 18 Sep 2008 08:01:00 -0700
Subject: Version abc80918

---
 src/aig/fra/fra.h    | 1 +
 src/aig/fra/fraLcr.c | 5 +++--
 2 files changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/aig/fra')

diff --git a/src/aig/fra/fra.h b/src/aig/fra/fra.h
index 91689196..eceda480 100644
--- a/src/aig/fra/fra.h
+++ b/src/aig/fra/fra.h
@@ -123,6 +123,7 @@ struct Fra_Sec_t_
     int              fInterpolation;    // enables interpolation
     int              fReachability;     // enables BDD based reachability
     int              fStopOnFirstFail;  // enables stopping after first output of a miter has failed to prove
+    int              fUseNewProver;     // the new prover
     int              fSilent;           // disables all output
     int              fVerbose;          // enables verbose reporting of statistics
     int              fVeryVerbose;      // enables very verbose reporting  
diff --git a/src/aig/fra/fraLcr.c b/src/aig/fra/fraLcr.c
index f597e090..d3be9842 100644
--- a/src/aig/fra/fraLcr.c
+++ b/src/aig/fra/fraLcr.c
@@ -629,16 +629,17 @@ clk2 = clock();
             pAigTemp  = Fra_FraigEquivence( pAigPart, nConfMax, 0 );
 p->timeFraig += clock() - clk2;
             Vec_PtrPush( p->vFraigs, pAigTemp );
+/*
             {
                 char Name[1000];
                 sprintf( Name, "part%04d.blif", i );
                 Aig_ManDumpBlif( pAigPart, Name, NULL, NULL );
             }
-            Aig_ManStop( pAigPart );
-
 printf( "Finished part %4d (out of %4d).  ", i, Vec_PtrSize(p->vParts) );
 PRT( "Time", clock() - clk3 );
+*/
 
+            Aig_ManStop( pAigPart );
         }
         Fra_ClassNodesUnmark( p );
         // report the intermediate results
-- 
cgit v1.2.3