diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-03 12:52:47 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-03 12:52:47 -0800 |
| commit | 360cc99f0114b0fbbb6b42b17c0d4d32cb121d99 (patch) | |
| tree | 481536244aab687dba2f3c039f59f9f1e2ad5e67 /src/base/wlc | |
| parent | e17234d90ca610fdd3cb408228a347b0440aa861 (diff) | |
| download | abc-360cc99f0114b0fbbb6b42b17c0d4d32cb121d99.tar.gz abc-360cc99f0114b0fbbb6b42b17c0d4d32cb121d99.tar.bz2 abc-360cc99f0114b0fbbb6b42b17c0d4d32cb121d99.zip | |
Bug fix WLC package (reusing name buffer, resulting in wrong print-outs).
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcWriteVer.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/base/wlc/wlcWriteVer.c b/src/base/wlc/wlcWriteVer.c index 20757e02..41b83a70 100644 --- a/src/base/wlc/wlcWriteVer.c +++ b/src/base/wlc/wlcWriteVer.c @@ -357,7 +357,6 @@ void Wlc_WriteVerInt( FILE * pFile, Wlc_Ntk_t * p ) } Wlc_NtkForEachCi( p, pObj, i ) { - char * pName = Wlc_ObjName(p, Wlc_ObjId(p, pObj)); assert( i == Wlc_ObjCiId(pObj) ); if ( pObj->Type == WLC_OBJ_PI ) continue; @@ -368,13 +367,13 @@ void Wlc_WriteVerInt( FILE * pFile, Wlc_Ntk_t * p ) else fprintf( pFile, " " ); fprintf( pFile, " reg%d (", i ); - fprintf( pFile, " .q( %s ),", pName ); + fprintf( pFile, " .q( %s ),", Wlc_ObjName(p, Wlc_ObjId(p, pObj)) ); fprintf( pFile, " .qbar()," ); fprintf( pFile, " .d( %s ),", Wlc_ObjName(p, Wlc_ObjId(p, Wlc_ObjFoToFi(p, pObj))) ); fprintf( pFile, " .clk( %s ),", "1\'b0" ); fprintf( pFile, " .arst( %s ),", "1\'b0" ); if ( p->vInits ) - fprintf( pFile, " .arstval( %s_init )", pName ); + fprintf( pFile, " .arstval( %s_init )", Wlc_ObjName(p, Wlc_ObjId(p, pObj)) ); else fprintf( pFile, " .arstval( %s )", "1\'b0" ); fprintf( pFile, " ) ;\n" ); |