From cf83242458f1d2fcd3484326180277b1d14d5867 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 21 Jan 2015 17:45:48 -0800 Subject: Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t. --- src/base/wlc/wlcBlast.c | 2 +- src/base/wlc/wlcReadVer.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index f5707294..333b64de 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -782,7 +782,7 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds ) { if ( (int)strlen(p->pInits) != Gia_ManRegNum(pNew) ) { - printf( "The number of init values (%d) does not match the number of flops (%d).\n", strlen(p->pInits), Gia_ManRegNum(pNew) ); + printf( "The number of init values (%d) does not match the number of flops (%d).\n", (int)strlen(p->pInits), Gia_ManRegNum(pNew) ); printf( "It is assumed that the AIG has constant 0 initial state.\n" ); } else diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c index 36f984b0..96beb4b4 100644 --- a/src/base/wlc/wlcReadVer.c +++ b/src/base/wlc/wlcReadVer.c @@ -430,7 +430,7 @@ char * Wlc_PrsConvertInitValues( Wlc_Ntk_t * p ) pObj = Wlc_NtkObj( p, Value ); pInits = pObj->Type == WLC_OBJ_CONST ? Wlc_ObjConstValue(pObj) : NULL; for ( k = 0; k < Wlc_ObjRange(pObj); k++ ) - Vec_StrPush( vStr, (char)(pInits ? '0' + Abc_InfoHasBit(pInits, k) : 'X') ); + Vec_StrPush( vStr, (char)(pInits ? '0' + Abc_InfoHasBit((unsigned *)pInits, k) : 'X') ); } Vec_StrPush( vStr, '\0' ); pResult = Vec_StrReleaseArray( vStr ); -- cgit v1.2.3