Skip to content

Add 'generalized statements' option inference based on format#164

Merged
niegrzybkowski merged 5 commits into
mainfrom
GH-155/mark-generalized-statements-unused
Jul 21, 2025
Merged

Add 'generalized statements' option inference based on format#164
niegrzybkowski merged 5 commits into
mainfrom
GH-155/mark-generalized-statements-unused

Clearer default help message for --opt.generalized-statements

e813f75
Select commit
Loading
Failed to load commit list.