| Name | Status | Type | Time(s) | 
| testTrivialExpressions | Success |  | 2.500 | 
| testLogicalConnectives | Success |  | 0.071 | 
| testSimpleAttributeExpressions | Success |  | 0.142 | 
| testCollectionExpressions | Success |  | 0.190 | 
| testNonBooleansExpressions | Success |  | 0.032 | 
| testIfExpressions | Success |  | 0.175 | 
| testLetExpressions | Success |  | 0.057 | 
| test_dataTypeAsContext | Success |  | 0.008 | 
| test_equals_primitives | Success |  | 0.077 | 
| test_evaluationEnvironment_getType_178901 | Success |  | 0.005 | 
| test_unlimitedNaturalType | Success |  | 0.006 | 
| test_unlimitedValue | Success |  | 0.008 | 
| test_unlimitedValueComparison | Success |  | 0.033 | 
| test_unlimitedValueArithmetic_integers | Success |  | 0.026 | 
| test_unlimitedValueArithmetic_reals | Success |  | 0.018 | 
| test_unlimitedValueArithmetic_naturals | Success |  | 0.015 | 
| test_lessThan | Success |  | 0.064 | 
| test_lessThanOrEqual | Success |  | 0.103 | 
| test_greaterThan | Success |  | 0.081 | 
| test_greaterThanOrEqual | Success |  | 0.049 | 
| test_sortedBy | Success |  | 0.010 | 
| test_invalid_equality | Success |  | 0.044 | 
| test_void_equality | Success |  | 0.013 | 
| test_integerArithmetic | Success |  | 0.065 | 
| test_realArithmetic | Success |  | 0.013 | 
| test_mixedArithmetic | Success |  | 0.010 | 
| test_dotNotationForSymbolicOperationNames | Success |  | 0.071 | 
| test_javaImplementationsOfInfixOperators | Success |  | 0.047 | 
| test_comparisonOfBooleanOperations_137487 | Success |  | 0.328 | 
| test_enumerationLiteralEquality_137546 | Success |  | 0.044 | 
| test_dataTypes_137158 | Success |  | 0.011 | 
| test_insertAt_sequence_126722 | Success |  | 0.075 | 
| test_insertAt_orderedSet_126722 | Success |  | 0.014 | 
| test_prepend_sequence_126722 | Success |  | 0.008 | 
| test_prepend_orderedSet_126722 | Success |  | 0.012 | 
| test_append_sequence_126722 | Success |  | 0.008 | 
| test_append_orderedSet_126722 | Success |  | 0.012 | 
| test_including_sequence_126722 | Success |  | 0.008 | 
| test_including_orderedSet_126722 | Success |  | 0.046 | 
| test_excluding_sequence_126722 | Success |  | 0.008 | 
| test_excluding_orderedSet_126722 | Success |  | 0.011 | 
| test_first | Success |  | 0.017 | 
| test_last | Success |  | 0.019 | 
| test_at | Success |  | 0.047 | 
| test_indexOf | Success |  | 0.019 | 
| test_subsequence_suborderedset | Success |  | 0.053 | 
| test_flatten | Success |  | 0.104 | 
| test_flatten_notNested | Success |  | 0.051 | 
| test_count | Success |  | 0.067 | 
| test_sum | Success |  | 0.040 | 
| test_includes | Success |  | 0.035 | 
| test_includesAll | Success |  | 0.048 | 
| test_union | Success |  | 0.058 | 
| test_intersection | Success |  | 0.028 | 
| test_difference | Success |  | 0.036 | 
| test_symmetricDifference | Success |  | 0.016 | 
| test_dotNavigationOfReferenceCollections_130239 | Success |  | 0.030 | 
| test_dotNavigationOfOperationCollections_130239 | Success |  | 0.009 | 
| test_collectionRange_152208 | Success |  | 0.012 | 
| test_tupleWithCollectionPart_175490 | Success |  | 0.021 | 
| test_tupleWithCollectionLiteralPart_175490 | Success |  | 0.004 | 
| test_operationValueCollectionType_183667 | Success |  | 0.006 | 
| test_propertyValueCollectionType_183667 | Success |  | 0.005 | 
| test_coercionOfCollectionParameters_184789 | Success |  | 0.026 | 
| test_sequenceNotEqualSignature_184327 | Success |  | 0.009 | 
| test_qualifiers_associationEnd_RATLC00538077 | Success |  | 0.032 | 
| test_associationClass_RATLC00538077 | Success |  | 0.017 | 
| test_associationClass_scalar_182193 | Success |  | 0.030 | 
| test_associationClass_qualifiers_RATLC00538077 | Success |  | 0.087 | 
| test_associationClass_reflexive_RATLC00538077 | Success |  | 0.045 | 
| test_navigateFromAssociationClass_RATLC00538077 | Success |  | 0.016 | 
| test_associationClass_contextAssist_RATLC00538077 | Success |  | 0.011 | 
| test_propertyPositions_associationClassEndCall | Success |  | 0.007 | 
| test_propertyPositions_associationClassCall | Success |  | 0.007 | 
| test_propertyPositions_associationClassCall_implicitCollect | Success |  | 0.011 | 
| test_propertyPositions_associationClassQualified | Success |  | 0.016 | 
| test_propertyPositions_associationClassQualified_implicitCollect | Success |  | 0.008 | 
| test_associationNullContext_bugzilla121614 | Success |  | 0.003 | 
| test_qualifiedAssociation_scalar_133435 | Success |  | 0.004 | 
| test_nonNavigableAttribute | Success |  | 0.008 | 
| test_nonNavigableAttribute_instanceSpecification | Success |  | 0.053 | 
| test_sortedBy | Success |  | 0.232 | 
| test_iterate_143996 | Success |  | 0.088 | 
| test_select | Success |  | 0.128 | 
| test_reject | Success |  | 0.085 | 
| test_any | Success |  | 0.133 | 
| test_isUnique_126861 | Success |  | 0.036 | 
| test_exists | Success |  | 0.106 | 
| test_forAll | Success |  | 0.032 | 
| test_one | Success |  | 0.018 | 
| test_collect | Success |  | 0.133 | 
| test_collectNested | Success |  | 0.077 | 
| test_closure | Success |  | 0.040 | 
| test_closure_cycles | Success |  | 0.045 | 
| test_closure_operations | Success |  | 0.003 | 
| test_closureValidation | Success |  | 0.011 | 
| test_closureValidation_typeConformance_154695 | Success |  | 0.005 | 
| test_forAll_invalidBody_142518 | Success |  | 0.015 | 
| test_exists_invalidBody_142518 | Success |  | 0.009 | 
| test_one_invalidBody_142518 | Success |  | 0.009 | 
| test_any_invalidBody_142518 | Success |  | 0.010 | 
| test_select_invalidBody_142518 | Success |  | 0.009 | 
| test_reject_invalidBody_142518 | Success |  | 0.009 | 
| test_isUnique_invalidBody_142518 | Success |  | 0.010 | 
| test_collect_invalidBody_142518 | Success |  | 0.009 | 
| test_collectNested_invalidBody_142518 | Success |  | 0.014 | 
| test_closure_invalidBody_142518 | Success |  | 0.034 | 
| test_sortedBy_invalidBody_142518 | Success |  | 0.008 | 
| test_iterateWithNullSource_143996 | Success |  | 0.028 | 
| test_existsWithNullSource_143996 | Success |  | 0.023 | 
| test_isUnique_162300 | Success |  | 0.077 | 
| test_package_162300 | Success |  | 0.095 | 
| test_context_162300 | Success |  | 0.043 | 
| test_body_162300 | Success |  | 0.050 | 
| test_isUniqueOperation_162300 | Success |  | 0.012 | 
| test_selectOperation_162300 | Success |  | 0.013 | 
| test_contextOperation_162300 | Success |  | 0.060 | 
| test_reservedPackageName_183362 | Success |  | 0.013 | 
| test_reservedPackageName_packageContext_183362 | Success |  | 0.020 | 
| test_reservedClassName_183362 | Success |  | 0.042 | 
| test_reservedClassName_operationContext_183362 | Success |  | 0.014 | 
| test_reservedStateName_183362 | Success |  | 0.013 | 
| test_let | Success |  | 0.165 | 
| test_let_inExpression_182201 | Success |  | 0.023 | 
| test_equality_relational_179249 | Success |  | 0.003 | 
| test_tupleLiteral_withTypes | Success |  | 0.005 | 
| test_tupleLiteral_noTypes | Success |  | 0.005 | 
| test_tupleLiteral_mixedTypes | Success |  | 0.005 | 
| test_tupleAssignment | Success |  | 0.006 | 
| test_tupleCollections | Success |  | 0.066 | 
| test_tupleEquivalence | Success |  | 0.034 | 
| test_isInState | Success |  | 0.009 | 
| test_isInState_validation | Success |  | 0.087 | 
| test_stateContentAssist | Success |  | 0.005 | 
| test_multipleStateMachines | Success |  | 0.016 | 
| test_hasSent_operation | Success |  | 0.074 | 
| test_hasSent_operation_validation | Success |  | 0.003 | 
| test_hasSent_operation_unspecifiedValue | Success |  | 0.027 | 
| test_hasSent_operation_unspecifiedValue_validation | Success |  | 0.003 | 
| test_sentMessages_operation | Success |  | 0.122 | 
| test_message_access_operation | Success |  | 0.041 | 
| test_sentMessages_operation_validation | Success |  | 0.037 | 
| test_hasSent_signal | Success |  | 0.034 | 
| test_hasSent_signal_validation | Success |  | 0.003 | 
| test_sentMessages_signal | Success |  | 0.032 | 
| test_message_access_signal | Success |  | 0.025 | 
| test_sentMessages_signal_validation | Success |  | 0.003 | 
| test_contentAssist_operations | Success |  | 0.135 | 
| test_contentAssist_signals | Success |  | 0.035 | 
| test_parseStereotypeConstraint | Success |  | 0.094 | 
| test_navigateToStereotypeApplication | Success |  | 0.058 | 
| test_simpleInvariant | Success |  | 0.003 | 
| test_simpleInvariantWithSelf | Success |  | 0.002 | 
| test_simpleInvariantWithLet | Success |  | 0.025 | 
| test_variablesHidingAttributes | Success |  | 0.005 | 
| test_propertyNameCoincidesWithTypeName_140347 | Success |  | 0.006 | 
| test_interfaceRealization | Success |  | 0.013 | 
| test_nestedClassifiers | Success |  | 0.050 | 
| test_variablesHidingAttributes | Success |  | 0.006 | 
| test_simplePrecondition | Success |  | 0.003 | 
| test_simplePostcondition | Success |  | 0.003 | 
| test_postcondition_atPre | Success |  | 0.005 | 
| test_postcondition_atPre_operation | Success |  | 0.005 | 
| test_postcondition_result | Success |  | 0.004 | 
| test_namespaces | Success |  | 0.069 | 
| test_illegalUseOfAtPre_precondition | Success |  | 0.003 | 
| test_illegalUseOfAtPre_invariant | Success |  | 0.003 | 
| test_illegalUseOfAtPre_postcondition | Success |  | 0.002 | 
| test_parametersAreLocalVariables | Success |  | 0.054 | 
| test_bodyConditionConformance | Success |  | 0.033 | 
| test_bodyConditionVoidOperation | Success |  | 0.003 | 
| test_parameterNameCoincidesWithAttributeName_140008 | Success |  | 0.007 | 
| test_implicitPropertySourceLookup_raw_151234 | Success |  | 0.010 | 
| test_implicitPropertySourceLookup_helper_151234 | Success |  | 0.006 | 
| test_implicitOperationSourceLookup_raw_151234 | Success |  | 0.026 | 
| test_implicitOperationSourceLookup_helper_151234 | Success |  | 0.006 | 
| test_invariant | Success |  | 0.007 | 
| test_query | Success |  | 0.004 | 
| test_postcondition | Success |  | 0.035 | 
| test_parentheses | Success |  | 0.002 | 
| test_typePositions | Success |  | 0.012 | 
| test_elementTypePositions | Success |  | 0.008 | 
| test_propertyPositions_operationCall | Success |  | 0.008 | 
| test_propertyPositions_attributeCall | Success |  | 0.003 | 
| test_propertyPositions_associationEndCall | Success |  | 0.020 | 
| test_propertyPositions_implicitCollect | Success |  | 0.013 | 
| test_referencePositions_implicitCollect | Success |  | 0.043 | 
| test_messageExp_positions | Success |  | 0.002 | 
| test_stateExp_positions | Success |  | 0.003 | 
| test_defExpression_raw_operation | Success |  | 0.010 | 
| test_defExpression_helper_operation | Success |  | 0.009 | 
| test_defExpression_raw_attribute | Success |  | 0.011 | 
| test_defExpression_helper_attribute | Success |  | 0.009 | 
| test_defExpression_raw_reference | Success |  | 0.013 | 
| test_defExpression_inheritance_operation | Success |  | 0.100 | 
| test_defExpression_inheritance_attribute | Success |  | 0.100 | 
| test_malformedDefExpression_attribute | Success |  | 0.025 | 
| test_malformedDefExpression_operation | Success |  | 0.106 | 
| test_duplicateDefinition_attribute | Success |  | 0.018 | 
| test_duplicateDefinition_operation | Success |  | 0.006 | 
| test_undefine_property_152018 | Success |  | 0.121 | 
| test_undefine_operation_152018 | Success |  | 0.177 | 
| test_recursive_property_152018 | Success |  | 0.190 | 
| test_recursive_operation_152018 | Success |  | 0.209 | 
| test_defExpression_completion_operation | Success |  | 0.043 | 
| test_defExpression_completion_attribute | Success |  | 0.042 | 
| test_defAttributeOnPrimitiveType_172782 | Success |  | 0.019 | 
| test_defOperationOnPrimitiveType_172782 | Success |  | 0.018 | 
| test_defAttributeOnPredefinedType_172782 | Success |  | 0.043 | 
| test_defOperationOnPredefinedType_172782 | Success |  | 0.049 | 
| test_defExpression_operation_owner | Success |  | 0.004 | 
| test_defExpression_attribute_owner | Success |  | 0.004 | 
| test_init_attribute_raw | Success |  | 0.007 | 
| test_derive_attribute_raw | Success |  | 0.007 | 
| test_init_reference_raw | Success |  | 0.003 | 
| test_derive_reference_raw | Success |  | 0.019 | 
| test_init_attribute_helper | Success |  | 0.002 | 
| test_derive_attribute_helper | Success |  | 0.005 | 
| test_init_reference_helper | Success |  | 0.003 | 
| test_derive_reference_helper | Success |  | 0.027 | 
| test_malformedInitExpression | Success |  | 0.004 | 
| test_malformedDeriveExpression | Success |  | 0.004 | 
| test_bothInitAndDeriveExpressions | Success |  | 0.007 | 
| test_tooManyInitAndDeriveExpressions | Success |  | 0.007 | 
| test_importedElements | Success |  | 0.004 | 
| test_redefinedProperties | Success |  | 0.003 | 
| test_staticOperations_dot_bug164887 | Success |  | 0.010 | 
| test_staticOperations_colonColon_bug164887 | Success |  | 0.008 | 
| test_staticAttributes_dot_bug164887 | Success |  | 0.011 | 
| test_staticAttributes_colonColon_bug164887 | Success |  | 0.008 | 
| test_staticOperations_dot_val_bug164887 | Success |  | 0.008 | 
| test_staticOperations_colonColon_val_bug164887 | Success |  | 0.006 | 
| test_staticAttributes_dot_val_bug164887 | Success |  | 0.006 | 
| test_staticAttributes_colonColon_val_bug164887 | Success |  | 0.004 | 
| test_aliasedOperation_bug184753 | Success |  | 0.011 | 
| test_aliasedAttribute_bug184753 | Success |  | 0.015 | 
| test_multipleInvariants | Success |  | 0.043 | 
| test_multipleDefExpressions | Success |  | 0.065 | 
| test_multipleInvariantsAndDefExpressions | Success |  | 0.047 | 
| test_multipleMixedOperationConstraints | Success |  | 0.045 | 
| test_initAndDerConstraints | Success |  | 0.061 | 
| test_getMetaclass | Success |  | 0.023 | 
| test_extensibility_156360 | Success |  | 0.020 | 
| testHelperCreation | Success |  | 0.000 | 
| test_dataTypeAsContext | Success |  | 0.006 | 
| test_createQuery_125684 | Success |  | 0.003 | 
| test_createInvariant | Success |  | 0.003 | 
| test_createInvariant_nonBoolean_125684 | Success |  | 0.001 | 
| test_createPrecondition | Success |  | 0.002 | 
| test_createPostcondition | Success |  | 0.004 | 
| test_createBodyCondition | Success |  | 0.002 | 
| test_dataTypeAsContext_inferred | Success |  | 0.005 | 
| test_completeInvariant_enumLiteral | Success |  | 0.001 | 
| test_completeInvariant_attribute | Success |  | 0.003 | 
| test_completeInvariant_reference | Success |  | 0.004 | 
| test_completeInvariant_operation | Success |  | 0.004 | 
| test_completePrecondition_enumLiteral | Success |  | 0.000 | 
| test_completeBodyCondition_attribute | Success |  | 0.004 | 
| test_completePrecondition_reference | Success |  | 0.004 | 
| test_completePostcondition_operation | Success |  | 0.004 | 
| test_completePrecondition_parameter | Success |  | 0.004 | 
| test_completePostcondition_result | Success |  | 0.003 | 
| test_allInstances | Success |  | 0.006 | 
| test_anyChoices | Success |  | 0.005 | 
| test_eclassChoices | Success |  | 0.020 | 
| test_tupleChoices | Success |  | 0.006 | 
| test_typeChoices | Success |  | 0.004 | 
| test_integerChoices | Success |  | 0.005 | 
| test_realChoices | Success |  | 0.004 | 
| test_stringChoices | Success |  | 0.005 | 
| test_setChoices | Success |  | 0.013 | 
| test_orderedSetChoices | Success |  | 0.039 | 
| test_sequenceChoices | Success |  | 0.040 | 
| test_bagChoices | Success |  | 0.011 | 
| test_nestedCollectionChoices | Success |  | 0.012 | 
| test_stateChoices | Success |  | 0.002 | 
| test_messageChoices | Success |  | 0.005 | 
| test_allInstances | Success |  | 0.014 | 
| test_evaluatePrecompiledInvariant_114921 | Success |  | 0.002 | 
| test_completionOfRightmostSubexpression_RATLC00537918 | Success |  | 0.092 | 
| test_completionOfRightmost_parentheses_RATLC00537918 | Success |  | 0.038 | 
| test_completionOnLetVariable_RATLC00537918 | Success |  | 0.036 | 
| test_completionOnLetExpression_RATLC00537918 | Success |  | 0.043 | 
| test_completionOnIteratorVariable_RATLC00537918 | Success |  | 0.022 | 
| test_completionOnAccumulator_RATLC00537918 | Success |  | 0.090 | 
| test_completionOnIterate_RATLC00537918 | Success |  | 0.031 | 
| test_completionOnIterator_sequence_RATLC00537918 | Success |  | 0.053 | 
| test_completionOnIterator_orderedSet_RATLC00537918 | Success |  | 0.064 | 
| test_completionOnIterator_bag_RATLC00537918 | Success |  | 0.013 | 
| test_completionOnIfExpression_RATLC00537918 | Success |  | 0.022 | 
| test_variables_RATLC00535552 | Success |  | 0.110 | 
| test_parameters_RATLC00535552 | Success |  | 0.004 | 
| test_partial_property_RATLC00535552 | Success |  | 0.032 | 
| test_partial_operation_RATLC00535552 | Success |  | 0.020 | 
| test_partial_type_RATLC00535552 | Success |  | 0.009 | 
| test_partial_enumLiteral_RATLC00535552 | Success |  | 0.001 | 
| test_partial_collectionOperation_RATLC00535552 | Success |  | 0.013 | 
| test_emptyExpression_RATLC00535552 | Success |  | 0.003 | 
| test_garbageExpression_RATLC00535552 | Success |  | 0.008 | 
| test_oclIsNewOnlyInPostconditions_116664 | Success |  | 0.014 | 
| test_quoteReservedWords_RATLC00527506 | Success |  | 0.007 | 
| test_quoteWhitespace_RATLC00527509 | Success |  | 0.006 | 
| test_quoteQuote_RATLC00527509 | Success |  | 0.039 | 
| test_internationalCharacters_RATLC01080816 | Success |  | 0.002 | 
| test_oclIsKindOf_RATLC01087664 | Success |  | 0.006 | 
| test_shortcircuitAnd_RATLC00536528 | Success |  | 0.005 | 
| test_shortcircuitOr_RATLC00536528 | Success |  | 0.004 | 
| test_shortcircuitImplies_RATLC00536528 | Success |  | 0.004 | 
| test_oclIsNew_invariant_RATLC00529981 | Success |  | 0.002 | 
| test_oclIsNew_precondition_RATLC00529981 | Success |  | 0.003 | 
| test_oclIsNew_postcondition_RATLC00529981 | Success |  | 0.004 | 
| test_toLower_RATLC00529981 | Success |  | 0.008 | 
| test_toUpper_RATLC00529981 | Success |  | 0.002 | 
| test_referenceMultiplicity_orderedSet_RATLC00538035 | Success |  | 0.002 | 
| test_referenceMultiplicity_set_RATLC00538035 | Success |  | 0.002 | 
| test_referenceMultiplicity_sequence_RATLC00538035 | Success |  | 0.002 | 
| test_referenceMultiplicity_bag_RATLC00538035 | Success |  | 0.002 | 
| test_parameterMultiplicity_orderedSet_RATLC00538035 | Success |  | 0.003 | 
| test_parameterMultiplicity_set_RATLC00538035 | Success |  | 0.002 | 
| test_parameterMultiplicity_sequence_RATLC00538035 | Success |  | 0.003 | 
| test_parameterMultiplicity_bag_RATLC00538035 | Success |  | 0.006 | 
| test_operationMultiplicity_orderedSet_RATLC00538035 | Success |  | 0.007 | 
| test_operationMultiplicity_set_RATLC00538035 | Success |  | 0.010 | 
| test_operationMultiplicity_sequence_RATLC00538035 | Success |  | 0.003 | 
| test_operationMultiplicity_bag_RATLC00538035 | Success |  | 0.003 | 
| test_operationContext_orderedSet_RATLC00538035 | Success |  | 0.009 | 
| test_operationContext_set_RATLC00538035 | Success |  | 0.007 | 
| test_operationContext_sequence_RATLC00538035 | Success |  | 0.007 | 
| test_operationContext_bag_RATLC00538035 | Success |  | 0.007 | 
| test_allInstances_enumeration_RATLC00538079 | Success |  | 0.002 | 
| test_allInstances_voidType_RATLC00538079 | Success |  | 0.002 | 
| test_allInstances_primitive_RATLC00538079 | Success |  | 0.002 | 
| test_closingParentheses_core | Success |  | 0.402 | 
| test_closingParentheses_helper | Success |  | 0.012 | 
| test_closingParentheses_helper_precondition | Success |  | 0.038 | 
| test_operationBodyBoolean_116251 | Success |  | 0.023 | 
| test_innerScopeFeatureResolution_bugzilla113355 | Success |  | 0.009 | 
| test_product_126336 | Success |  | 0.009 | 
| test_iterationToString_126454 | Success |  | 0.008 | 
| test_null | Success |  | 0.006 | 
| test_oclInvalid | Success |  | 0.023 | 
| test_operationNotFound | Success |  | 0.002 | 
| test_operationSignatureMatching | Success |  | 0.006 | 
| test_operationImplicitSource | Success |  | 0.010 | 
| test_enclosingPackage_unqualifiedName | Success |  | 0.003 | 
| test_hebrew_singleQuote_135321 | Success |  | 0.007 | 
| test_nullVariableName_143386 | Success |  | 0.001 | 
| test_callNonQueryOperation_136778 | Success |  | 0.068 | 
| test_basicSerialization | Success |  | 0.087 | 
| test_primitiveTypeSerialization | Success |  | 0.022 | 
| test_primitiveCollectionTypeSerialization | Success |  | 0.032 | 
| test_modelCollectionTypeSerialization | Success |  | 0.075 | 
| test_typeExpSerialization | Success |  | 0.098 | 
| test_tupleSerialization | Success |  | 0.045 | 
| test_operationMessageSerialization | Success |  | 0.067 | 
| test_signalMessageSerialization | Success |  | 0.022 | 
| test_additionalOperationSerialization | Success |  | 0.100 | 
| test_additionalPropertySerialization | Success |  | 0.041 | 
| test_typeTypeSerialization_183494 | Success |  | 0.021 |