From b7ba9aa8dcdfee0c5fa42aec0385b83d2371da39 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 13 Jan 2012 20:58:28 -0800
Subject: New hierarchy manager.

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

(limited to 'src/base/abci')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 8b1c8441..070ffbd9 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -8927,11 +8927,13 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
 //    extern void Abs_VfaManTest( Aig_Man_t * pAig, int nFrames, int nConfLimit, int fVerbose );
     extern void Aig_ManInterRepar( Aig_Man_t * pMan, int fVerbose );
     extern Aig_Man_t * Abc_NtkToDar( Abc_Ntk_t * pNtk, int fExors, int fRegisters );
+    extern void Aig_ManSupportsTest( Aig_Man_t * pMan );
     if ( pNtk )
     {
         Aig_Man_t * pAig = Abc_NtkToDar( pNtk, 0, 1 );
 //        Aig_ManInterRepar( pAig, 1 );
 //        Aig_ManInterTest( pAig, 1 );
+        Aig_ManSupportsTest( pAig );
         Aig_ManStop( pAig );
     }
 }
-- 
cgit v1.2.3