test_allInstances_enumeration_RATLC00538079 <maven-backtracking> | 3 ms | Passed |
test_allInstances_enumeration_RATLC00538079 <maven> | 3 ms | Passed |
test_allInstances_enumeration_RATLC00538079 <tycho> | 3 ms | Passed |
test_allInstances_enumeration_RATLC00538079 <tycho> | 3 ms | Passed |
test_allInstances_primitive_RATLC00538079 <maven-backtracking> | 3 ms | Passed |
test_allInstances_primitive_RATLC00538079 <maven> | 3 ms | Passed |
test_allInstances_primitive_RATLC00538079 <tycho> | 2 ms | Passed |
test_allInstances_primitive_RATLC00538079 <tycho> | 2 ms | Passed |
test_allInstances_voidType_RATLC00538079 <maven-backtracking> | 3 ms | Passed |
test_allInstances_voidType_RATLC00538079 <maven> | 3 ms | Passed |
test_allInstances_voidType_RATLC00538079 <tycho> | 2 ms | Passed |
test_allInstances_voidType_RATLC00538079 <tycho> | 2 ms | Passed |
test_bagIterationWithNullOccurrences <maven-backtracking> | 3 ms | Passed |
test_bagIterationWithNullOccurrences <maven> | 2 ms | Passed |
test_bagIterationWithNullOccurrences <tycho> | 2 ms | Passed |
test_bagIterationWithNullOccurrences <tycho> | 2 ms | Passed |
test_closingParentheses_core <maven-backtracking> | 6 ms | Passed |
test_closingParentheses_core <maven> | 5 ms | Passed |
test_closingParentheses_core <tycho> | 3 ms | Passed |
test_closingParentheses_core <tycho> | 3 ms | Passed |
test_closingParentheses_helper <maven-backtracking> | 5 ms | Passed |
test_closingParentheses_helper <maven> | 5 ms | Passed |
test_closingParentheses_helper <tycho> | 4 ms | Passed |
test_closingParentheses_helper <tycho> | 5 ms | Passed |
test_closingParentheses_helper_precondition <maven-backtracking> | 5 ms | Passed |
test_closingParentheses_helper_precondition <maven> | 5 ms | Passed |
test_closingParentheses_helper_precondition <tycho> | 5 ms | Passed |
test_closingParentheses_helper_precondition <tycho> | 2 ms | Passed |
test_dollarSignInStrings_163542 <maven-backtracking> | 5 ms | Passed |
test_dollarSignInStrings_163542 <maven> | 4 ms | Passed |
test_dollarSignInStrings_163542 <tycho> | 4 ms | Passed |
test_dollarSignInStrings_163542 <tycho> | 29 ms | Passed |
test_enclosingPackage_unqualifiedName <maven-backtracking> | 3 ms | Passed |
test_enclosingPackage_unqualifiedName <maven> | 16 ms | Passed |
test_enclosingPackage_unqualifiedName <tycho> | 2 ms | Passed |
test_enclosingPackage_unqualifiedName <tycho> | 3 ms | Passed |
test_hebrew_singleQuote_135321 <maven-backtracking> | 3 ms | Passed |
test_hebrew_singleQuote_135321 <maven> | 3 ms | Passed |
test_hebrew_singleQuote_135321 <tycho> | 2 ms | Passed |
test_hebrew_singleQuote_135321 <tycho> | 2 ms | Passed |
test_ifWithNullConditionMustBeInvalid_342644 <maven-backtracking> | 3 ms | Passed |
test_ifWithNullConditionMustBeInvalid_342644 <maven> | 3 ms | Passed |
test_ifWithNullConditionMustBeInvalid_342644 <tycho> | 3 ms | Passed |
test_ifWithNullConditionMustBeInvalid_342644 <tycho> | 2 ms | Passed |
test_innerScopeFeatureResolution_bugzilla113355 <maven-backtracking> | 5 ms | Passed |
test_innerScopeFeatureResolution_bugzilla113355 <maven> | 6 ms | Passed |
test_innerScopeFeatureResolution_bugzilla113355 <tycho> | 5 ms | Passed |
test_innerScopeFeatureResolution_bugzilla113355 <tycho> | 5 ms | Passed |
test_internationalCharacters_RATLC01080816 <maven-backtracking> | 3 ms | Passed |
test_internationalCharacters_RATLC01080816 <maven> | 2 ms | Passed |
test_internationalCharacters_RATLC01080816 <tycho> | 2 ms | Passed |
test_internationalCharacters_RATLC01080816 <tycho> | 3 ms | Passed |
test_iterationToString_126454 <maven-backtracking> | 4 ms | Passed |
test_iterationToString_126454 <maven> | 3 ms | Passed |
test_iterationToString_126454 <tycho> | 2 ms | Passed |
test_iterationToString_126454 <tycho> | 3 ms | Passed |
test_letWithMultipleVariables_bug164503 <maven-backtracking> | 3 ms | Passed |
test_letWithMultipleVariables_bug164503 <maven> | 3 ms | Passed |
test_letWithMultipleVariables_bug164503 <tycho> | 2 ms | Passed |
test_letWithMultipleVariables_bug164503 <tycho> | 2 ms | Passed |
test_letWithMultipleVariables_illFormed_bug164503 <maven-backtracking> | 5 ms | Passed |
test_letWithMultipleVariables_illFormed_bug164503 <maven> | 4 ms | Passed |
test_letWithMultipleVariables_illFormed_bug164503 <tycho> | 2 ms | Passed |
test_letWithMultipleVariables_illFormed_bug164503 <tycho> | 3 ms | Passed |
test_nameOfCollectionTypeWithoutElementType <maven-backtracking> | 2 ms | Passed |
test_nameOfCollectionTypeWithoutElementType <maven> | 2 ms | Passed |
test_nameOfCollectionTypeWithoutElementType <tycho> | 2 ms | Passed |
test_nameOfCollectionTypeWithoutElementType <tycho> | 2 ms | Passed |
test_nestedPackages_129769 <maven-backtracking> | 5 ms | Passed |
test_nestedPackages_129769 <maven> | 3 ms | Passed |
test_nestedPackages_129769 <tycho> | 3 ms | Passed |
test_nestedPackages_129769 <tycho> | 3 ms | Passed |
test_null <maven-backtracking> | 17 ms | Passed |
test_null <maven> | 3 ms | Passed |
test_null <tycho> | 3 ms | Passed |
test_null <tycho> | 3 ms | Passed |
test_nullPackageEnvironment_259818 <maven-backtracking> | 3 ms | Passed |
test_nullPackageEnvironment_259818 <maven> | 3 ms | Passed |
test_nullPackageEnvironment_259818 <tycho> | 2 ms | Passed |
test_nullPackageEnvironment_259818 <tycho> | 2 ms | Passed |
test_nullVariableName_143386 <maven-backtracking> | 2 ms | Passed |
test_nullVariableName_143386 <maven> | 2 ms | Passed |
test_nullVariableName_143386 <tycho> | 2 ms | Passed |
test_nullVariableName_143386 <tycho> | 2 ms | Passed |
test_oclInvalid <maven-backtracking> | 5 ms | Passed |
test_oclInvalid <maven> | 4 ms | Passed |
test_oclInvalid <tycho> | 4 ms | Passed |
test_oclInvalid <tycho> | 5 ms | Passed |
test_oclInvalidInIterateAccumulator_342644 <maven-backtracking> | 4 ms | Passed |
test_oclInvalidInIterateAccumulator_342644 <maven> | 3 ms | Passed |
test_oclInvalidInIterateAccumulator_342644 <tycho> | 13 ms | Passed |
test_oclInvalidInIterateAccumulator_342644 <tycho> | 3 ms | Passed |
test_oclIsInvalidOnInvalidLetVariable_342644 <maven-backtracking> | 3 ms | Passed |
test_oclIsInvalidOnInvalidLetVariable_342644 <maven> | 3 ms | Passed |
test_oclIsInvalidOnInvalidLetVariable_342644 <tycho> | 2 ms | Passed |
test_oclIsInvalidOnInvalidLetVariable_342644 <tycho> | 2 ms | Passed |
test_oclIsInvalidOnInvalidOperationResult_342561 <maven-backtracking> | 3 ms | Passed |
test_oclIsInvalidOnInvalidOperationResult_342561 <maven> | 3 ms | Passed |
test_oclIsInvalidOnInvalidOperationResult_342561 <tycho> | 2 ms | Passed |
test_oclIsInvalidOnInvalidOperationResult_342561 <tycho> | 2 ms | Passed |
test_oclIsKindOf_RATLC01087664 <maven-backtracking> | 3 ms | Passed |
test_oclIsKindOf_RATLC01087664 <maven> | 3 ms | Passed |
test_oclIsKindOf_RATLC01087664 <tycho> | 3 ms | Passed |
test_oclIsKindOf_RATLC01087664 <tycho> | 2 ms | Passed |
test_oclIsNew_invariant_RATLC00529981 <maven-backtracking> | 3 ms | Passed |
test_oclIsNew_invariant_RATLC00529981 <maven> | 3 ms | Passed |
test_oclIsNew_invariant_RATLC00529981 <tycho> | 3 ms | Passed |
test_oclIsNew_invariant_RATLC00529981 <tycho> | 2 ms | Passed |
test_oclIsNew_postcondition_RATLC00529981 <maven-backtracking> | 4 ms | Passed |
test_oclIsNew_postcondition_RATLC00529981 <maven> | 4 ms | Passed |
test_oclIsNew_postcondition_RATLC00529981 <tycho> | 3 ms | Passed |
test_oclIsNew_postcondition_RATLC00529981 <tycho> | 3 ms | Passed |
test_oclIsNew_precondition_RATLC00529981 <maven-backtracking> | 3 ms | Passed |
test_oclIsNew_precondition_RATLC00529981 <maven> | 19 ms | Passed |
test_oclIsNew_precondition_RATLC00529981 <tycho> | 3 ms | Passed |
test_oclIsNew_precondition_RATLC00529981 <tycho> | 2 ms | Passed |
test_operationBodyBoolean_116251 <maven-backtracking> | 7 ms | Passed |
test_operationBodyBoolean_116251 <maven> | 5 ms | Passed |
test_operationBodyBoolean_116251 <tycho> | 20 ms | Passed |
test_operationBodyBoolean_116251 <tycho> | 5 ms | Passed |
test_operationContext_bag_RATLC00538035 <maven-backtracking> | 4 ms | Passed |
test_operationContext_bag_RATLC00538035 <maven> | 3 ms | Passed |
test_operationContext_bag_RATLC00538035 <tycho> | 3 ms | Passed |
test_operationContext_bag_RATLC00538035 <tycho> | 3 ms | Passed |
test_operationContext_orderedSet_RATLC00538035 <maven-backtracking> | 4 ms | Passed |
test_operationContext_orderedSet_RATLC00538035 <maven> | 3 ms | Passed |
test_operationContext_orderedSet_RATLC00538035 <tycho> | 3 ms | Passed |
test_operationContext_orderedSet_RATLC00538035 <tycho> | 2 ms | Passed |
test_operationContext_sequence_RATLC00538035 <maven-backtracking> | 4 ms | Passed |
test_operationContext_sequence_RATLC00538035 <maven> | 4 ms | Passed |
test_operationContext_sequence_RATLC00538035 <tycho> | 3 ms | Passed |
test_operationContext_sequence_RATLC00538035 <tycho> | 2 ms | Passed |
test_operationContext_set_RATLC00538035 <maven-backtracking> | 3 ms | Passed |
test_operationContext_set_RATLC00538035 <maven> | 4 ms | Passed |
test_operationContext_set_RATLC00538035 <tycho> | 3 ms | Passed |
test_operationContext_set_RATLC00538035 <tycho> | 2 ms | Passed |
test_operationImplicitSource <maven-backtracking> | 4 ms | Passed |
test_operationImplicitSource <maven> | 4 ms | Passed |
test_operationImplicitSource <tycho> | 4 ms | Passed |
test_operationImplicitSource <tycho> | 3 ms | Passed |
test_operationMultiplicity_bag_RATLC00538035 <maven-backtracking> | 4 ms | Passed |
test_operationMultiplicity_bag_RATLC00538035 <maven> | 2 ms | Passed |
test_operationMultiplicity_bag_RATLC00538035 <tycho> | 2 ms | Passed |
test_operationMultiplicity_bag_RATLC00538035 <tycho> | 2 ms | Passed |
test_operationMultiplicity_orderedSet_RATLC00538035 <maven-backtracking> | 3 ms | Passed |
test_operationMultiplicity_orderedSet_RATLC00538035 <maven> | 2 ms | Passed |
test_operationMultiplicity_orderedSet_RATLC00538035 <tycho> | 2 ms | Passed |
test_operationMultiplicity_orderedSet_RATLC00538035 <tycho> | 3 ms | Passed |
test_operationMultiplicity_sequence_RATLC00538035 <maven-backtracking> | 3 ms | Passed |
test_operationMultiplicity_sequence_RATLC00538035 <maven> | 3 ms | Passed |
test_operationMultiplicity_sequence_RATLC00538035 <tycho> | 20 ms | Passed |
test_operationMultiplicity_sequence_RATLC00538035 <tycho> | 2 ms | Passed |
test_operationMultiplicity_set_RATLC00538035 <maven-backtracking> | 3 ms | Passed |
test_operationMultiplicity_set_RATLC00538035 <maven> | 3 ms | Passed |
test_operationMultiplicity_set_RATLC00538035 <tycho> | 2 ms | Passed |
test_operationMultiplicity_set_RATLC00538035 <tycho> | 2 ms | Passed |
test_operationNotFound <maven-backtracking> | 3 ms | Passed |
test_operationNotFound <maven> | 3 ms | Passed |
test_operationNotFound <tycho> | 2 ms | Passed |
test_operationNotFound <tycho> | 2 ms | Passed |
test_operationSignatureMatching <maven-backtracking> | 3 ms | Passed |
test_operationSignatureMatching <maven> | 3 ms | Passed |
test_operationSignatureMatching <tycho> | 2 ms | Passed |
test_operationSignatureMatching <tycho> | 3 ms | Passed |
test_parameterMultiplicity_bag_RATLC00538035 <maven-backtracking> | 3 ms | Passed |
test_parameterMultiplicity_bag_RATLC00538035 <maven> | 3 ms | Passed |
test_parameterMultiplicity_bag_RATLC00538035 <tycho> | 2 ms | Passed |
test_parameterMultiplicity_bag_RATLC00538035 <tycho> | 2 ms | Passed |
test_parameterMultiplicity_orderedSet_RATLC00538035 <maven-backtracking> | 4 ms | Passed |
test_parameterMultiplicity_orderedSet_RATLC00538035 <maven> | 3 ms | Passed |
test_parameterMultiplicity_orderedSet_RATLC00538035 <tycho> | 2 ms | Passed |
test_parameterMultiplicity_orderedSet_RATLC00538035 <tycho> | 3 ms | Passed |
test_parameterMultiplicity_sequence_RATLC00538035 <maven-backtracking> | 3 ms | Passed |
test_parameterMultiplicity_sequence_RATLC00538035 <maven> | 3 ms | Passed |
test_parameterMultiplicity_sequence_RATLC00538035 <tycho> | 2 ms | Passed |
test_parameterMultiplicity_sequence_RATLC00538035 <tycho> | 2 ms | Passed |
test_parameterMultiplicity_set_RATLC00538035 <maven-backtracking> | 2 ms | Passed |
test_parameterMultiplicity_set_RATLC00538035 <maven> | 3 ms | Passed |
test_parameterMultiplicity_set_RATLC00538035 <tycho> | 2 ms | Passed |
test_parameterMultiplicity_set_RATLC00538035 <tycho> | 2 ms | Passed |
test_product_126336 <maven-backtracking> | 4 ms | Passed |
test_product_126336 <maven> | 4 ms | Passed |
test_product_126336 <tycho> | 3 ms | Passed |
test_product_126336 <tycho> | 3 ms | Passed |
test_quoteQuote_RATLC00527509 <maven-backtracking> | 9 ms | Passed |
test_quoteQuote_RATLC00527509 <maven> | 5 ms | Passed |
test_quoteQuote_RATLC00527509 <tycho> | 5 ms | Passed |
test_quoteQuote_RATLC00527509 <tycho> | 6 ms | Passed |
test_quoteReservedWords_RATLC00527506 <maven-backtracking> | 4 ms | Passed |
test_quoteReservedWords_RATLC00527506 <maven> | 3 ms | Passed |
test_quoteReservedWords_RATLC00527506 <tycho> | 2 ms | Passed |
test_quoteReservedWords_RATLC00527506 <tycho> | 2 ms | Passed |
test_quoteWhitespace_RATLC00527509 <maven-backtracking> | 3 ms | Passed |
test_quoteWhitespace_RATLC00527509 <maven> | 3 ms | Passed |
test_quoteWhitespace_RATLC00527509 <tycho> | 2 ms | Passed |
test_quoteWhitespace_RATLC00527509 <tycho> | 2 ms | Passed |
test_refToUnlimitedNaturalType_259740 <maven-backtracking> | 4 ms | Passed |
test_refToUnlimitedNaturalType_259740 <maven> | 3 ms | Passed |
test_refToUnlimitedNaturalType_259740 <tycho> | 2 ms | Passed |
test_refToUnlimitedNaturalType_259740 <tycho> | 2 ms | Passed |
test_referenceMultiplicity_bag_RATLC00538035 <maven-backtracking> | 3 ms | Passed |
test_referenceMultiplicity_bag_RATLC00538035 <maven> | 3 ms | Passed |
test_referenceMultiplicity_bag_RATLC00538035 <tycho> | 2 ms | Passed |
test_referenceMultiplicity_bag_RATLC00538035 <tycho> | 2 ms | Passed |
test_referenceMultiplicity_orderedSet_RATLC00538035 <maven-backtracking> | 4 ms | Passed |
test_referenceMultiplicity_orderedSet_RATLC00538035 <maven> | 2 ms | Passed |
test_referenceMultiplicity_orderedSet_RATLC00538035 <tycho> | 2 ms | Passed |
test_referenceMultiplicity_orderedSet_RATLC00538035 <tycho> | 2 ms | Passed |
test_referenceMultiplicity_sequence_RATLC00538035 <maven-backtracking> | 3 ms | Passed |
test_referenceMultiplicity_sequence_RATLC00538035 <maven> | 2 ms | Passed |
test_referenceMultiplicity_sequence_RATLC00538035 <tycho> | 2 ms | Passed |
test_referenceMultiplicity_sequence_RATLC00538035 <tycho> | 2 ms | Passed |
test_referenceMultiplicity_set_RATLC00538035 <maven-backtracking> | 3 ms | Passed |
test_referenceMultiplicity_set_RATLC00538035 <maven> | 3 ms | Passed |
test_referenceMultiplicity_set_RATLC00538035 <tycho> | 2 ms | Passed |
test_referenceMultiplicity_set_RATLC00538035 <tycho> | 2 ms | Passed |
test_repeatedNamesInPath_176308 <maven-backtracking> | 4 ms | Passed |
test_repeatedNamesInPath_176308 <maven> | 3 ms | Passed |
test_repeatedNamesInPath_176308 <tycho> | 2 ms | Passed |
test_repeatedNamesInPath_176308 <tycho> | 3 ms | Passed |
test_shortcircuitAnd_RATLC00536528 <maven-backtracking> | 3 ms | Passed |
test_shortcircuitAnd_RATLC00536528 <maven> | 3 ms | Passed |
test_shortcircuitAnd_RATLC00536528 <tycho> | 3 ms | Passed |
test_shortcircuitAnd_RATLC00536528 <tycho> | 2 ms | Passed |
test_shortcircuitImplies_RATLC00536528 <maven-backtracking> | 17 ms | Passed |
test_shortcircuitImplies_RATLC00536528 <maven> | 3 ms | Passed |
test_shortcircuitImplies_RATLC00536528 <tycho> | 2 ms | Passed |
test_shortcircuitImplies_RATLC00536528 <tycho> | 3 ms | Passed |
test_shortcircuitOr_RATLC00536528 <maven-backtracking> | 3 ms | Passed |
test_shortcircuitOr_RATLC00536528 <maven> | 3 ms | Passed |
test_shortcircuitOr_RATLC00536528 <tycho> | 2 ms | Passed |
test_shortcircuitOr_RATLC00536528 <tycho> | 2 ms | Passed |
test_toLower_RATLC00529981 <maven-backtracking> | 3 ms | Passed |
test_toLower_RATLC00529981 <maven> | 2 ms | Passed |
test_toLower_RATLC00529981 <tycho> | 2 ms | Passed |
test_toLower_RATLC00529981 <tycho> | 2 ms | Passed |
test_toUpper_RATLC00529981 <maven-backtracking> | 3 ms | Passed |
test_toUpper_RATLC00529981 <maven> | 2 ms | Passed |
test_toUpper_RATLC00529981 <tycho> | 3 ms | Passed |
test_toUpper_RATLC00529981 <tycho> | 2 ms | Passed |
test_typeEquality_126145 <maven-backtracking> | 5 ms | Passed |
test_typeEquality_126145 <maven> | 4 ms | Passed |
test_typeEquality_126145 <tycho> | 4 ms | Passed |
test_typeEquality_126145 <tycho> | 4 ms | Passed |
test_variableExpName_243526 <maven-backtracking> | 4 ms | Passed |
test_variableExpName_243526 <maven> | 4 ms | Passed |
test_variableExpName_243526 <tycho> | 4 ms | Passed |
test_variableExpName_243526 <tycho> | 4 ms | Passed |
test_voidCollections_463441 <maven-backtracking> | 4 ms | Passed |
test_voidCollections_463441 <maven> | 4 ms | Passed |
test_voidCollections_463441 <tycho> | 4 ms | Passed |
test_voidCollections_463441 <tycho> | 4 ms | Passed |