Skip to content

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

james-d12 merged 1 commit into
mainfrom
feature/nested-unreachable-assertions-44

rules analyze: detect unreachable assertions inside quantifiers and w…

3c78503
Select commit
Loading
Failed to load commit list.