Skip to content

Conversation

ivokub
Copy link
Collaborator

@ivokub ivokub commented Aug 29, 2025

Description

Handle api.Or in case either of the inputs is a constant without creating a constraint. Already handled this way in SCS.

Thanks to @wuestholz for reporting.

Type of change

  • Bug fix (non-breaking change which fixes an issue)

Checklist:

  • I have performed a self-review of my code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • I have added tests that prove my fix is effective or that my feature works
  • I did not modify files generated from templates
  • golangci-lint does not output errors locally
  • New and existing unit tests pass locally with my changes
  • Any dependent changes have been merged and published in downstream modules

@ivokub ivokub requested a review from gbotrel August 29, 2025 22:12
@ivokub ivokub self-assigned this Aug 29, 2025
@ivokub ivokub added the src: fuzzing Issue found using a fuzzing tool label Aug 29, 2025
cursor[bot]

This comment was marked as outdated.

cursor[bot]

This comment was marked as outdated.

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

Labels

src: fuzzing Issue found using a fuzzing tool

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant