Repository navigation

A piecewise case whose condition is undefined is passed over - #1764

Merged

Rafael-SOWNet merged 2 commits into

a-piecewise-case-whose-condition-is-undefined-never-holds

Oct 5, 2026

Commits on Oct 4, 2026
- A piecewise case whose condition is undefined is passed over
  
  Rafael-SOWNet
  and
  claude
  committed
  f84c945
- Merge remote-tracking branch 'origin/master' into a-piecewise-case-whose-condition-is-undefined-never-holds
  Rafael-SOWNet
  committed
  71fd770