Skip to content

fix: LogLinarith Ne disjunct nesting - #35

Open
Chessing234 wants to merge 1 commit into
teorth:mainfrom
Chessing234:fix/loglinarith-ne-nested-list
Open

fix: LogLinarith Ne disjunct nesting#35
Chessing234 wants to merge 1 commit into
teorth:mainfrom
Chessing234:fix/loglinarith-ne-nested-list

Conversation

@Chessing234

@Chessing234 Chessing234 commented Jul 18, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Ne wrapped the second disjunct in an extra list, so max_objects hit a list and crashed.
  • Flatten to two Rel siblings for product(*inequality_lists).

Test plan

  • test_loglinarith_ne_orders

A nested list made max_objects see a list instead of a Rel and crash.

Co-authored-by: Cursor <cursoragent@cursor.com>
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