From 70ccd477cf23a2d99d6e8fbe4dcd29b626207492 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 26 Feb 2013 14:25:24 -0500
Subject: User-controlable SAT sweeper.

---
 src/aig/gia/giaSweeper.c | 28 +++++++++++++++++++++++++---
 1 file changed, 25 insertions(+), 3 deletions(-)

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaSweeper.c b/src/aig/gia/giaSweeper.c
index f728fe17..dc9ee61e 100644
--- a/src/aig/gia/giaSweeper.c
+++ b/src/aig/gia/giaSweeper.c
@@ -267,6 +267,28 @@ int Gia_SweeperCondPop( Gia_Man_t * p )
     return ProbId;
 }
 
+
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+static inline Vec_Ptr_t * Vec_PtrDupStr( Vec_Ptr_t * pVec )
+{
+    char * pName;
+    int i;
+    Vec_Ptr_t * p = Vec_PtrDup( pVec );
+    Vec_PtrForEachEntry( char *, p, pName, i )
+        Vec_PtrWriteEntry( p, i, Abc_UtilStrsav(pName) );
+    return p;
+}
+
 /**Function*************************************************************
 
   Synopsis    []
@@ -330,10 +352,10 @@ Gia_Man_t * Gia_SweeperExtractUserLogic( Gia_Man_t * p, Vec_Int_t * vProbeIds, V
     }
     // copy names if present
     if ( p->vNamesIn )
-        pNew->vNamesIn = Vec_PtrDup( p->vNamesIn );
+        pNew->vNamesIn = Vec_PtrDupStr( p->vNamesIn );
     if ( vOutNames )
-        pNew->vNamesOut = Vec_PtrDup( vOutNames );
-Gia_ManPrintStats( pNew, 0, 0, 0 );
+        pNew->vNamesOut = Vec_PtrDupStr( vOutNames );
+//Gia_ManPrintStats( pNew, 0, 0, 0 );
     return pNew;
 }
 
-- 
cgit v1.2.3