Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

labra
Copy link
Member

@labra labra commented Aug 31, 2025

Implemented:

  • lessThan
  • lessThanOrEquals
  • disjoint
  • equals

There is a minor problem in lessThan because it returns less violations than the ones that appear in the testsuite because once it finds a violation, it returns without checking anymore. We should change that,

@labra labra merged commit 8c23286 into master Aug 31, 2025
18 checks passed
@labra labra deleted the issue320 branch August 31, 2025 19:06
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.

1 participant