Passed

org.eclipse.ocl.ecore.helper.tests.SyntaxHelpTest.test_completePostcondition_result <tycho> (from org.eclipse.ocl.ecore.tests.AllTests)