From 1c582413dad0bbb2bde2e4edf06e0e1e995cae1b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 9 Apr 2014 16:41:58 -0700
Subject: Adding new code to support barrier buffers.

---
 src/base/abci/abc.c | 17 ++++++++++++++---
 1 file changed, 14 insertions(+), 3 deletions(-)

(limited to 'src/base/abci/abc.c')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index bbb122ca..623bc216 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -10295,7 +10295,7 @@ usage:
 ***********************************************************************/
 int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
-//    Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
+    Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
     int nCutMax      =  1;
     int nLeafMax     = 10;
     int nDivMax      = 50;
@@ -10424,8 +10424,19 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
 //    if ( pNtk )
 //        Abc_NtkMakeLegit( pNtk ); 
     {
-        extern void Ifd_ManDsdTest();
-        Ifd_ManDsdTest();
+//        extern void Ifd_ManDsdTest();
+//        Ifd_ManDsdTest();
+    }
+    if ( pNtk )
+    {
+        extern Abc_Ntk_t * Abc_NtkBarBufsOnOffTest( Abc_Ntk_t * pNtk );
+        Abc_Ntk_t * pNtkRes = Abc_NtkBarBufsOnOffTest( pNtk );
+        if ( pNtkRes == NULL )
+        {
+            Abc_Print( -1, "Command has failed.\n" );
+            return 1;
+        }
+        Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes );
     }
     return 0;
 usage:
-- 
cgit v1.2.3