Improve Help Menu#4109

Merged

carolynzech merged 6 commits intomodel-checking:mainfrom

carolynzech:help-ui

Jun 4, 2025

Commits on Jun 4, 2025

help menu: options in alphabetical order
Carolyn Zech
committed
Group the flattened arguments into their own sections
Carolyn Zech
committed
fix help description for --output-into-file
Carolyn Zech
committed
make subcommands alphabetically ordered too
Carolyn Zech
committed
add header for memory checks
Carolyn Zech
committed
reorder sections
Carolyn Zech
committed