-
Notifications
You must be signed in to change notification settings - Fork 12
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
TLSF identifiers can contain @
#7
Comments
As a fix I would suggest to add an operation flag to the tool, which allows to change the symbol to some alternative (similar to the delemiter-flag), which is then set to |
SPIN's Promela uses In any case, Implicitly, I agree that character substitution by |
You can now replace the symbols by using the |
The parser that I am using in
omega
interprets@
as an operator. In general, it is expected that symbols other than_
and-
may be assigned meaning in various formats. It would therefore be desirable to either not use@
in identifiers in the competition, or exclude it from the TLSF grammar.The text was updated successfully, but these errors were encountered: