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

Corner-case bug in truth table reading.

This commit is contained in:
Alan Mishchenko 2023-09-04 08:18:02 +07:00
parent 1cdb2dacee
commit a13dae7a4a
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/base/abc/abcSop.c
View File

@ -922,6 +922,8 @@ int Abc_SopCheckReadTruth( Vec_Ptr_t * vRes, char * pToken, int fHex )
{ {
char * pBase; int nVars; char * pBase; int nVars;
int Log2 = Abc_Base2Log( strlen(pToken) ); int Log2 = Abc_Base2Log( strlen(pToken) );
if ( fHex && strlen(pToken) == 1 )
Log2 = 0;
if ( (1 << Log2) != (int)strlen(pToken) ) if ( (1 << Log2) != (int)strlen(pToken) )
{ {
printf( "The truth table length (%d) is not power-of-2.\n", (int)strlen(pToken) ); printf( "The truth table length (%d) is not power-of-2.\n", (int)strlen(pToken) );