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

Add tests for the control language #87

Open
teiesti opened this issue Apr 5, 2024 · 1 comment · May be fixed by #181 or #86
Open

Add tests for the control language #87

teiesti opened this issue Apr 5, 2024 · 1 comment · May be fixed by #181 or #86
Assignees
@janheuer
Labels
A-formatting Area: Formatting A-parsing Area: Parsing A-syntax-tree Area: Abstract syntax tree C-cleanup Category: Cleanup E-easy Experience: Easy L-fol Language: First-order logic P-low Priority: Low

Comments

@teiesti
Copy link
Collaborator

teiesti commented Apr 5, 2024

No description provided.

@teiesti teiesti added P-low Priority: Low E-easy Experience: Easy C-cleanup Category: Cleanup A-syntax-tree Area: Abstract syntax tree A-parsing Area: Parsing A-formatting Area: Formatting L-fol Language: First-order logic labels Apr 5, 2024
@teiesti teiesti self-assigned this Apr 5, 2024
@teiesti teiesti linked a pull request Apr 5, 2024 that will close this issue
Draft
@teiesti teiesti assigned janheuer and unassigned teiesti Dec 6, 2024
@teiesti
Copy link
Collaborator Author

teiesti commented Dec 6, 2024

@janheuer, in case you get bored, here's another very nice issue related to parsing. I know, it is writing test cases and therefore kinda boring but it needs to be done. Make sure to have a look at my draft PR #86. I have already started working on this there but did not manage to finish.

@janheuer janheuer linked a pull request Jan 10, 2025 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@janheuer janheuer

Labels
A-formatting Area: Formatting A-parsing Area: Parsing A-syntax-tree Area: Abstract syntax tree C-cleanup Category: Cleanup E-easy Experience: Easy L-fol Language: First-order logic P-low Priority: Low
Projects
None yet
Milestone
No milestone
2 participants
@teiesti @janheuer