Skip to content

Do not accept variable names starting with numbers (or other symbols than A-Za-z) as they are invalid #303

@Langenfeld

Description

@Langenfeld

We should not allow variable names that do not adhere to the rules for variable names in Boogie, as this will crash the analysis. Variable names have to start with a Letter.

Metadata

Metadata

Assignees

No one assigned

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions