Skip to content

Turn on ROBOT's equivalent_pair check - #23

Open
hoodcm wants to merge 1 commit into
mainfrom
robot-equivalent-pair
Open

hoodcm wants to merge 1 commit into
mainfrom
robot-equivalent-pair

Conversation

@hoodcm

@hoodcm hoodcm commented Oct 1, 2026

Copy link
Copy Markdown
Collaborator

Part of #5.

Check Data checked Why
equivalent_pair Logical axioms Two named classes aren't declared equivalent.

ROBOT's standard check, at its default level (WARN). Nothing on main fails it, so no data changes. All tests pass.

@jclerman

jclerman commented Oct 1, 2026

Copy link
Copy Markdown
Collaborator

Nice. However, I'd enable this at ERROR. Any reason not to? WARN won't be visible unless people are manually checking, and I don't think we intend to have any logically-duplicate classes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants