diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-21 17:45:48 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-21 17:45:48 -0800 |
| commit | cf83242458f1d2fcd3484326180277b1d14d5867 (patch) | |
| tree | f552fd06ee630a561f93443a35718761e9e298d1 /src/base/wlc/wlcBlast.c | |
| parent | ffc7b60d2d9b8d082c07ffd64c5a3de98b4cc459 (diff) | |
| download | abc-cf83242458f1d2fcd3484326180277b1d14d5867.tar.gz abc-cf83242458f1d2fcd3484326180277b1d14d5867.tar.bz2 abc-cf83242458f1d2fcd3484326180277b1d14d5867.zip | |
Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t.
Diffstat (limited to 'src/base/wlc/wlcBlast.c')
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 |