From 55c5c1b58f3f9cd1b534ad11dbec6ba7a7813194 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Feb 2015 22:05:02 -0800
Subject: Added SMT parser for Wlc_Ntk_t.

---
 src/base/cba/cbaCom.c     |  6 ++++--
 src/base/cba/cbaReadSmt.c | 24 ------------------------
 2 files changed, 4 insertions(+), 26 deletions(-)

(limited to 'src/base/cba')

diff --git a/src/base/cba/cbaCom.c b/src/base/cba/cbaCom.c
index 9229d876..9e2e3789 100644
--- a/src/base/cba/cbaCom.c
+++ b/src/base/cba/cbaCom.c
@@ -209,7 +209,7 @@ int Cba_CommandRead( Abc_Frame_t * pAbc, int argc, char ** argv )
     }
     else if ( !strcmp( Extra_FileNameExtension(pFileName), "smt" )  )
     {
-        vDes = Prs_ManReadSmt( pFileName );
+        vDes = NULL;//Prs_ManReadSmt( pFileName );
         if ( vDes && Vec_PtrSize(vDes) )
             p = Prs_ManBuildCba( pFileName, vDes );
         Prs_ManVecFree( vDes );
@@ -647,6 +647,7 @@ int Cba_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
     extern void Prs_ManReadBlifTest();
     extern void Prs_ManReadVerilogTest();
+    extern void Prs_SmtReadSmtTest();
     //Cba_Man_t * p = Cba_AbcGetMan(pAbc);
     int c, fVerbose  = 0;
     Extra_UtilGetoptReset();
@@ -671,7 +672,8 @@ int Cba_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
     }
 */
     //Cba_PtrTransformTestTest();
-    Prs_ManReadVerilogTest();
+    //Prs_ManReadVerilogTest();
+    //Prs_SmtReadSmtTest();
     return 0;
 usage:
     Abc_Print( -2, "usage: @test [-vh]\n" );
diff --git a/src/base/cba/cbaReadSmt.c b/src/base/cba/cbaReadSmt.c
index 5099e80d..a9dd83dd 100644
--- a/src/base/cba/cbaReadSmt.c
+++ b/src/base/cba/cbaReadSmt.c
@@ -19,7 +19,6 @@
 ***********************************************************************/
 
 #include "cba.h"
-#include "cbaPrs.h"
 
 ABC_NAMESPACE_IMPL_START
 
@@ -32,29 +31,6 @@ ABC_NAMESPACE_IMPL_START
 ///                     FUNCTION DEFINITIONS                         ///
 ////////////////////////////////////////////////////////////////////////
 
-/**Function*************************************************************
-
-  Synopsis    []
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-Vec_Ptr_t * Prs_ManReadSmt( char * pFileName )
-{
-    Vec_Ptr_t * vPrs = NULL;
-    Prs_Man_t * p = Prs_ManAlloc( pFileName );
-    if ( p == NULL )
-        return NULL;
-//    Prs_ManReadLines( p );
-    if ( Prs_ManErrorPrint(p) )
-        ABC_SWAP( Vec_Ptr_t *, vPrs, p->vNtks );
-    Prs_ManFree( p );
-    return vPrs;
-}
 
 
 ////////////////////////////////////////////////////////////////////////
-- 
cgit v1.2.3