luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Bug fix in SMT-LIB parser.

This commit is contained in:
Alan Mishchenko 2015-06-30 09:49:55 -07:00
parent 8c1e81a7c8
commit cc0954e022
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/base/wlc/wlcReadSmt.c
View File

@ -290,7 +290,7 @@ static inline int Smt_PrsBuildConstant( Wlc_Ntk_t * pNtk, char * pStr, int nBits
Vec_Int_t * vFanins = Vec_IntAlloc( 10 ); Vec_Int_t * vFanins = Vec_IntAlloc( 10 );
if ( pStr[0] != '#' ) // decimal if ( pStr[0] != '#' ) // decimal
{ {
if ( pStr[0] >= 0 && pStr[0] <= 9 ) if ( pStr[0] >= '0' && pStr[0] <= '9' )
{ {
int Number = atoi( pStr ); int Number = atoi( pStr );
nBits = Abc_Base2Log( Number+1 ); nBits = Abc_Base2Log( Number+1 );