The one place for your designs
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.
Syntacticaly invalid semantic test
The test https://git.scc.kit.edu/IPDSnelting/mjtest-tests/blob/master/semantic/main_wrong_type_args.invalid.mj is already syntactically invalid, and thus should not be part of the semantic test suite.
Main arg is String in the grammer.