From f43393107575afaf3ebb1554c063534192950294 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 23 Feb 2020 16:35:59 -0800
Subject: Adding commands to generate data for experiments.

---
 src/aig/gia/giaMan.c | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/aig/gia/giaMan.c')

diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index 8df96ee0..2c10bedf 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -88,6 +88,12 @@ void Gia_ManStop( Gia_Man_t * p )
     assert( p->pManTime == NULL );
     Vec_PtrFreeFree( p->vNamesIn );
     Vec_PtrFreeFree( p->vNamesOut );
+    ABC_FREE( p->pUserFile );
+    Gia_ManStopP( &p->pUserSpec );
+    Gia_ManStopP( &p->pUserAig );
+    Vec_PtrFreeFree( p->vUserNames );
+    Vec_WecFreeP( &p->vUserNodes );
+    Vec_IntFreeP( &p->vUserArray );
     Vec_IntFreeP( &p->vSwitching );
     Vec_IntFreeP( &p->vSuper );
     Vec_IntFreeP( &p->vStore );
@@ -95,6 +101,7 @@ void Gia_ManStop( Gia_Man_t * p )
     Vec_IntFreeP( &p->vClassOld );
     Vec_WrdFreeP( &p->vSims );
     Vec_WrdFreeP( &p->vSimsPi );
+    Vec_WrdFreeP( &p->vSimsPo );
     Vec_IntFreeP( &p->vTimeStamps );
     Vec_FltFreeP( &p->vTiming );
     Vec_VecFreeP( &p->vClockDoms );
-- 
cgit v1.2.3