From ddd9758931ddbfd4d350e0a20efdef36fe2f4c03 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 16 Apr 2011 00:09:39 -0700
Subject: Added cex generation for clustered reachability (forgot one file).

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

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 3a653984..4a741a1b 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -8534,13 +8534,13 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
         Aig_ManStop( pAig );
     }
 */
-
+/*
 {
     extern void Ssm_ManExperiment( char * pFileIn, char * pFileOut );
 //    Ssm_ManExperiment( "m\\big2.ssim", "m\\big2_.ssim" );
     Ssm_ManExperiment( "m\\manyclocks2.ssim", "m\\manyclocks2_.ssim" );
 }
-
+*/
     return 0;
 usage:
     Abc_Print( -2, "usage: test [-CKDN] [-vwh] <file_name>\n" );
-- 
cgit v1.2.3