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

[FEATURE] FlatLanguagePred and KeraLanguagePred should produce friendly messages #303

Closed
konnov opened this issue Oct 27, 2020 · 0 comments
Closed

[FEATURE] FlatLanguagePred and KeraLanguagePred should produce friendly messages #303

konnov opened this issue Oct 27, 2020 · 0 comments
Assignees
@konnov
Labels
new New issue to be triaged.
Milestone
backlog2020

Comments

@konnov
Copy link
Collaborator

konnov commented Oct 27, 2020

Currently, FlatLanguagePred and KeraLanguagePred spit out large blocks of problematic expressions when the input does not fit into the expected fragment. It is impossible to figure the root of the problem when running apalache on a real spec. They should point to the cause of the problem.
@konnov konnov added the new New issue to be triaged. label Oct 27, 2020
@konnov konnov added this to the v0.12.0-user-care milestone Oct 27, 2020
@konnov konnov self-assigned this Oct 27, 2020
konnov added a commit that referenced this issue Oct 28, 2020
@konnov
fix #303: friendly messages on unexpected expressions
7a86ee8
konnov added a commit that referenced this issue Oct 28, 2020
@konnov
fix #303: friendly messages on unexpected expressions
a6cd3d1
@konnov konnov closed this as completed in ec7f02f Oct 28, 2020
@konnov konnov modified the milestones: v0.12.0-user-care, backlog2020 Dec 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@konnov konnov

Labels
new New issue to be triaged.
Projects
None yet
Milestone
backlog2020
Development

No branches or pull requests
1 participant
@konnov