From 05f51cbb2ad3856916325a4322401fe0d8fde408 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 4 Sep 2012 13:52:42 -0700
Subject: Enabled recording the name of the file GIA is coming from.
---
src/base/abc/abcHieCec.c | 2 ++
src/base/abc/abcHieNew.c | 1 +
2 files changed, 3 insertions(+)
(limited to 'src/base')
diff --git a/src/base/abc/abcHieCec.c b/src/base/abc/abcHieCec.c
index 707acc12..6236fd4f 100644
--- a/src/base/abc/abcHieCec.c
+++ b/src/base/abc/abcHieCec.c
@@ -268,6 +268,7 @@ Gia_Man_t * Abc_NtkDeriveFlatGia( Abc_Ntk_t * pNtk )
// start the network
pGia = Gia_ManStart( (1<<16) );
pGia->pName = Abc_UtilStrsav( Abc_NtkName(pNtk) );
+ pGia->pSpec = Abc_UtilStrsav( Abc_NtkSpec(pNtk) );
Gia_ManHashAlloc( pGia );
// create PIs
Abc_NtkForEachPi( pNtk, pTerm, i )
@@ -344,6 +345,7 @@ Gia_Man_t * Abc_NtkDeriveFlatGia2Derive( Abc_Ntk_t * pNtk, Vec_Ptr_t * vOrder )
// start the network
pGia = Gia_ManStart( (1<<15) );
pGia->pName = Abc_UtilStrsav( Abc_NtkName(pNtk) );
+ pGia->pSpec = Abc_UtilStrsav( Abc_NtkSpec(pNtk) );
Gia_ManHashAlloc( pGia );
// create PIs
Abc_NtkForEachPi( pNtk, pTerm, i )
diff --git a/src/base/abc/abcHieNew.c b/src/base/abc/abcHieNew.c
index d98b4fc8..c0a16964 100644
--- a/src/base/abc/abcHieNew.c
+++ b/src/base/abc/abcHieNew.c
@@ -1226,6 +1226,7 @@ Gia_Man_t * Au_NtkDeriveFlatGia( Au_Ntk_t * p )
// start the network
pGia = Gia_ManStart( (1<<16) );
pGia->pName = Abc_UtilStrsav( Au_NtkName(p) );
+// pGia->pSpec = Abc_UtilStrsav( Au_NtkSpec(p) );
Gia_ManHashAlloc( pGia );
Gia_ManFlipVerbose( pGia );
// create PIs
--
cgit v1.2.3