Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Differences between the allowed node names of the web interface and the APT parser #96

Open
mgieseking opened this issue Oct 23, 2020 · 0 comments
Open

Differences between the allowed node names of the web interface and the APT parser #96

mgieseking opened this issue Oct 23, 2020 · 0 comments
Assignees
@mgieseking
Labels
bug Something isn't working

Comments

@mgieseking
Copy link
Member

We allow way more identifiers for the nodes in the web interface than the parser can parse. This leads to problem by switching from net to the text editor.

Don't yet know if we want to restrict the web interface more, or want to make the parser more liberal.

A similar problem exists for the Flow-LTL formula parser.
@mgieseking mgieseking added the bug Something isn't working label Oct 23, 2020
@mgieseking mgieseking self-assigned this Oct 23, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mgieseking mgieseking

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mgieseking