diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-22 22:44:07 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-22 22:44:07 -0800 |
| commit | f86cfc937e61c04af6cba680af52e176a20f8842 (patch) | |
| tree | f4218d71300725c1ec215c7ceb9a301acf2d5139 /src/base/wlc/wlcReadVer.c | |
| parent | 72e3b4ca7873f1d14097bc03adb486e71672dd84 (diff) | |
| download | abc-f86cfc937e61c04af6cba680af52e176a20f8842.tar.gz abc-f86cfc937e61c04af6cba680af52e176a20f8842.tar.bz2 abc-f86cfc937e61c04af6cba680af52e176a20f8842.zip | |
Experiments with memory abstraction.
Diffstat (limited to 'src/base/wlc/wlcReadVer.c')
| -rw-r--r-- | src/base/wlc/wlcReadVer.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c index 9c40e71e..0eca5c26 100644 --- a/src/base/wlc/wlcReadVer.c +++ b/src/base/wlc/wlcReadVer.c @@ -1029,9 +1029,9 @@ startword: Wlc_ObjSetCi( p->pNtk, pObj ); Vec_IntClear( &p->pNtk->vFfs ); // convert init values into binary string - //Vec_IntPrint( &p->pNtk->vInits ); + //Vec_IntPrint( p->pNtk->vInits ); p->pNtk->pInits = Wlc_PrsConvertInitValues( p->pNtk ); - //printf( "%s", p->pNtk->pInits ); + //printf( "%s\n", p->pNtk->pInits ); } if ( p->vPoPairs ) { |