Model Checker should be runnable from the command line

[ingrid_b]

Raised in passing on the breaking-change thread and worth its own topic.

The Model Checker catches real problems, but it only runs when somebody opens the Designer and
clicks it. That means it catches problems at the least useful moment — after the model is
already committed and somebody else has pulled it.

What I want: a command-line invocation that takes a .modlr file and exits non-zero on
errors, with machine-readable output.

mdriven-check MyModel.modlr --format json --fail-on error

That is enough to put it in a pipeline. Everything else — the nice reporting, the IDE
integration — is optional once the exit code exists.

[tomas_h]

Strong yes. We currently approximate this by having a build agent open the Designer headless, which works about 70% of the time and is exactly as horrible as it sounds.

[devin_r]

Add: it should work on a model file without needing a licence activation on the build agent. That is the detail that kills most CI integrations for desktop tooling.

[lars]

Noted, and the licence point is a fair one that we would not have thought of. This has moved up.

[ben_ok]

Would also use this as a pre-commit hook. Catching a broken model before it is pushed is worth more than catching it in CI.