Repository navigation

rules analyze: detect unreachable assertions inside quantifiers and when: leaves - #96

Merged

james-d12 merged 1 commit into

mainfrom

feature/nested-unreachable-assertions-44

Oct 13, 2026

Merged

rules analyze: detect unreachable assertions inside quantifiers and when: leaves#96
james-d12 merged 1 commit into
mainfrom
feature/nested-unreachable-assertions-44

Commits on Oct 13, 2026
- rules analyze: detect unreachable assertions inside quantifiers and when: leaves
  
  james-d12
  and
  claude
  committed
  3c78503