From b9dea5d674f406b78cfb9d1b417b5e81b4550cde Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 6 Aug 2011 01:31:07 +0800
Subject: Other changes to enable new features in the mapper (bug fix).

---
 src/base/io/ioWriteBlif.c | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/base/io')

diff --git a/src/base/io/ioWriteBlif.c b/src/base/io/ioWriteBlif.c
index ca54a766..175f2641 100644
--- a/src/base/io/ioWriteBlif.c
+++ b/src/base/io/ioWriteBlif.c
@@ -384,6 +384,18 @@ void Io_NtkWritePos( FILE * pFile, Abc_Ntk_t * pNtk, int fWriteLatches )
             NameCounter++;
         }
     }
+    if ( pNtk->vRealNodes )
+    {
+        Abc_Obj_t * pObj;
+        fprintf( pFile, "\n\n" );
+        assert( pNtk->nRealPos >= 0 );
+        Abc_NtkForEachObjVec( pNtk->vRealNodes, pNtk, pObj, i )
+            fprintf( pFile, "#INFO %s %s\n", 
+                Abc_ObjName(Abc_ObjFanin0(Abc_NtkPo(pNtk, pNtk->nRealPos+i))), 
+                Abc_ObjName(Abc_ObjFanout0(pObj)) );
+        fprintf( pFile, "\n" );
+    }
+
 }
 
 /**Function*************************************************************
-- 
cgit v1.2.3