utwente-fmt/vercors

[VS Code] As a user, I want checkboxes to include command line options.

Closed this issue · 0 comments

pandasansgains commented

Include checkboxes to toggle/chain options in the command line when running a versCors analysis