phobos icon indicating copy to clipboard operation
phobos copied to clipboard
verified publisher icon dfki-ric

Check Model Operator

Open AlCap23 opened this issue 7 years ago • 0 comments

Implement a Check Model Operator which shows any inconsistencies within the current model, see e.g. #146 .

Discussion of further ideas below.

AlCap23 avatar Jan 28 '19 10:01 AlCap23