Hi guys,
I guess revision r132054 has introduced a bug to KLEAVER.
>From that revision, arrays declarations include the symbolic name of the
variable instead of "arrN". In some cases, for example when using symbolic
files, the symbolic name contains an hyphen,e.g. A-data, and it is making
kleaver parser to fail.
I've already fixed it (I guess, unittests have passed) and the solution
seems very simple. Just consider the hypen as valid in
the isInternalIdentifierChar(int Char) function in lib/Expr/Lexer.cpp line
63.
The function should now be like this.
static inline bool isInternalIdentifierChar(int Char) {
return isalnum(Char) || Char == '_' || Char == '.' || Char == '-';
}
best,
Leandro
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
