Passed

org.eclipse.ocl.ecore.helper.tests.SyntaxHelpTest.test_integerChoices <tycho> (from org.eclipse.ocl.compatibility.tests.CompatibilityEcoreTests)