From 6c68b76bff33daa7cd94b78c51bdd4cdaf65059c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 23 Jan 2008 08:01:00 -0800
Subject: Version abc80123

---
 src/base/abci/abc.c | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'src/base')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 396cf598..bb525275 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -6367,7 +6367,7 @@ usage:
 int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
     FILE * pOut, * pErr;
-    Abc_Ntk_t * pNtk, * pNtkRes;
+    Abc_Ntk_t * pNtk;//, * pNtkRes;
     int c;
     int fBmc;
     int nFrames;
@@ -6544,7 +6544,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
         return 0;
     }
 */
-
+/*
 //    pNtkRes = Abc_NtkDar( pNtk );
 //    pNtkRes = Abc_NtkDarRetime( pNtk, nLevels, 1 );
     pNtkRes = Abc_NtkPcmTest( pNtk, fVerbose );
@@ -6556,18 +6556,18 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
     }
     // replace the current network
     Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes );
-
+*/
 
 //    Abc_NtkDarHaigRecord( pNtk );
 //    Abc_NtkDarClau( pNtk, nFrames, nLevels, fBmc, fVerbose, fVeryVerbose );
-/*
+
     if ( globalUtilOptind != 1 )
     {
         fprintf( pErr, "Command has failed.\n" );
         return 1;
     }
     Abc_NtkDarTestBlif( argv[globalUtilOptind] );
-*/
+
     return 0;
 usage:
     fprintf( pErr, "usage: test [-vwh]\n" );
-- 
cgit v1.2.3