From e9566a1e3db178a6111d227439354fcbb935ffa7 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 29 Jan 2017 13:37:29 -0800 Subject: Updates to arithmetic verification. --- src/base/wlc/wlcReadVer.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/base/wlc') diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c index e4a65ecf..16de4943 100644 --- a/src/base/wlc/wlcReadVer.c +++ b/src/base/wlc/wlcReadVer.c @@ -429,6 +429,7 @@ char * Wlc_PrsConvertInitValues( Wlc_Ntk_t * p ) Vec_Str_t * vStr = Vec_StrAlloc( 1000 ); Vec_IntForEachEntry( p->vInits, Value, i ) { + char * pname = Wlc_ObjName( p, Value ); if ( Value < 0 ) { for ( k = 0; k < -Value; k++ ) -- cgit v1.2.3