Thanks, Leandro, applied in r135896.
On 07/14/2011 04:22 PM, Leandro Sales wrote:
> 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
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
