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

Implement automated testing of TPTP compliance #196

Merged
merged 2 commits into from
Feb 28, 2025
Merged

Implement automated testing of TPTP compliance #196

merged 2 commits into from
Feb 28, 2025

Conversation

teiesti
Copy link
Collaborator

@teiesti teiesti commented Feb 28, 2025

Closes #161
Closes #177

@teiesti teiesti added C-enhancement Category: Enhancement A-command-line Area: Command-line interfaxe labels Feb 28, 2025
@teiesti teiesti requested a review from ZachJHansen February 28, 2025 13:23
@teiesti
Copy link
Collaborator Author

teiesti commented Feb 28, 2025

While implementing this, I have found some issues with the examples. See #194 and #195.

@ZachJHansen ZachJHansen merged commit a23a1d0 into master Feb 28, 2025
5 checks passed
@ZachJHansen ZachJHansen deleted the tobias/examples_testing branch February 28, 2025 14:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ZachJHansen ZachJHansen ZachJHansen approved these changes

Assignees
No one assigned
Labels
A-command-line Area: Command-line interfaxe C-enhancement Category: Enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

TPTP formatter does not produce TPTP compliant files
2 participants
@teiesti @ZachJHansen