Skip to content

PrismCL: Allow "-switch:options file" as well as "-switch file:options".#225

Open
davexparker wants to merge 1 commit into
prismmodelchecker:masterfrom
davexparker:cl-switch-options
Open

PrismCL: Allow "-switch:options file" as well as "-switch file:options".#225
davexparker wants to merge 1 commit into
prismmodelchecker:masterfrom
davexparker:cl-switch-options

PrismCL: Allow "-switch:options file" as well as "-switch file:options".

f745df0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs