Skip to content

#172 — check union.arm-coverage: unexercised UNION ALL arms - #191

Merged
cmbays merged 6 commits into
mainfrom
domain-172-union-arm-coverage
Jun 10, 2026
Merged

#172 — check union.arm-coverage: unexercised UNION ALL arms#191
cmbays merged 6 commits into
mainfrom
domain-172-union-arm-coverage

refactor(domain): simplify given_input_leaf keyword detection (review)

f7feac0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar