Passed
org.eclipse.fordiac.ide.test.model.contracts.ContractTest.testNotValid
Standard Error
Warning: NLS unused message: /******************************************************************************* in: org.eclipse.fordiac.ide.contracts.messages Warning: NLS unused message: * in: org.eclipse.fordiac.ide.contracts.messages Warning: NLS unused message: *******************************************************************************/ in: org.eclipse.fordiac.ide.contracts.messages