diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-18 20:44:55 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-18 20:44:55 -0800 |
| commit | d5cfb39a48ce3540e8c0c65e8075ab6a09f20da9 (patch) | |
| tree | b24b7a7760ae56547b57c8f677c977e25f950582 /src/base/wlc | |
| parent | 6b0accd22a7d28282ba35b10572fd188cad2d629 (diff) | |
| download | abc-d5cfb39a48ce3540e8c0c65e8075ab6a09f20da9.tar.gz abc-d5cfb39a48ce3540e8c0c65e8075ab6a09f20da9.tar.bz2 abc-d5cfb39a48ce3540e8c0c65e8075ab6a09f20da9.zip | |
Modifications to read SMTLIB file from stdin.
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcStdin.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcStdin.c b/src/base/wlc/wlcStdin.c index 6eea5f08..bb9c9614 100644 --- a/src/base/wlc/wlcStdin.c +++ b/src/base/wlc/wlcStdin.c @@ -110,7 +110,7 @@ void Wlc_NtkReport( Wlc_Ntk_t * p, Abc_Cex_t * pCex, char * pName, int Radix ) { Vec_Str_t * vNum; Wlc_Obj_t * pObj; - int i, ObjId, Start, nBits; + int i, ObjId, Start, nBits = -1; assert( pCex->nRegs == 0 ); // get the node ID ObjId = Abc_NamStrFind( p->pManName, pName ); |