Idea: Setup model checker to ensure that error/warning silencer work properly on CL #189

Open

Open

Idea: Setup model checker to ensure that error/warning silencer work properly on CL#189

We have alreay a solution where the error/warning is silenced, to test this we could use the model-checker from the mps-gradle-plugin.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests