Skip to content

Refactor PrismCL switch definitions and -help text generation#289

Merged
davexparker merged 15 commits into
prismmodelchecker:masterfrom
davexparker:cl-switch-refactor
Jun 30, 2026
Merged

Refactor PrismCL switch definitions and -help text generation#289
davexparker merged 15 commits into
prismmodelchecker:masterfrom
davexparker:cl-switch-refactor

Unhide the -mainlog switch (from -help).

a2b1a81
Select commit
Loading
Failed to load commit list.
Sign in for the full log view