From 5fb7c676c27c689a4a10773c6e4b28af32db3e8b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Jul 2012 13:13:32 -0700
Subject: Procedure to compute truth tables for POs of GIA.

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

(limited to 'src/base')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 5e74a943..590e5875 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -28944,8 +28944,7 @@ int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv )
 //    Gia_ManStopP( &pTemp );
 //    Gia_ManSuppSizeTest( pAbc->pGia );
 //    Gia_VtaTest( pAbc->pGia, 10, 100000, 0, 0, 1 );
-
-    Gia_IsoTest( pAbc->pGia, fVerbose );
+//    Gia_IsoTest( pAbc->pGia, fVerbose );
     return 0;
 usage:
     Abc_Print( -2, "usage: &test [-svh]\n" );
-- 
cgit v1.2.3