Add unit tests for CLI parsing#243

Merged

ahelwer merged 11 commits intotlaplus:mainfrom

ahelwer:test-cli

Dec 18, 2025

Commits on Nov 24, 2025

Swallow error dumped to stderr
ahelwer
committed

Commits on Nov 25, 2025

Added tests for some more options
ahelwer
committed

Commits on Nov 27, 2025

More tests for more options
ahelwer
committed

Commits on Nov 28, 2025

Commits on Dec 18, 2025

Responding to PR feedback
ahelwer
committed