Skip to content

Test Result : OperationConstraintsTest

0 failures
66 tests
Took 0.38 sec.

All Tests

Test nameDurationStatus
test_bodyConditionConformance <maven-backtracking>5 msPassed
test_bodyConditionConformance <maven>5 msPassed
test_bodyConditionConformance <tycho>5 msPassed
test_bodyConditionVoidOperation <maven-backtracking>4 msPassed
test_bodyConditionVoidOperation <maven>4 msPassed
test_bodyConditionVoidOperation <tycho>3 msPassed
test_bodyExpressionConformance_185345 <maven-backtracking>5 msPassed
test_bodyExpressionConformance_185345 <maven>4 msPassed
test_bodyExpressionConformance_185345 <tycho>2 msPassed
test_bodyExpressionEvaluation_185345 <maven-backtracking>4 msPassed
test_bodyExpressionEvaluation_185345 <maven>3 msPassed
test_bodyExpressionEvaluation_185345 <tycho>34 msPassed
test_bodyExpressionResultUsage_185345 <maven-backtracking>4 msPassed
test_bodyExpressionResultUsage_185345 <maven>4 msPassed
test_bodyExpressionResultUsage_185345 <tycho>3 msPassed
test_illegalUseOfAtPre_invariant <maven-backtracking>4 msPassed
test_illegalUseOfAtPre_invariant <maven>5 msPassed
test_illegalUseOfAtPre_invariant <tycho>3 msPassed
test_illegalUseOfAtPre_postcondition <maven-backtracking>52 msPassed
test_illegalUseOfAtPre_postcondition <maven>3 msPassed
test_illegalUseOfAtPre_postcondition <tycho>3 msPassed
test_illegalUseOfAtPre_precondition <maven-backtracking>3 msPassed
test_illegalUseOfAtPre_precondition <maven>2 msPassed
test_illegalUseOfAtPre_precondition <tycho>2 msPassed
test_implicitOperationSourceLookup_helper_151234 <maven-backtracking>2 msPassed
test_implicitOperationSourceLookup_helper_151234 <maven>3 msPassed
test_implicitOperationSourceLookup_helper_151234 <tycho>4 msPassed
test_implicitOperationSourceLookup_raw_151234 <maven-backtracking>5 msPassed
test_implicitOperationSourceLookup_raw_151234 <maven>4 msPassed
test_implicitOperationSourceLookup_raw_151234 <tycho>3 msPassed
test_implicitPropertySourceLookup_helper_151234 <maven-backtracking>4 msPassed
test_implicitPropertySourceLookup_helper_151234 <maven>4 msPassed
test_implicitPropertySourceLookup_helper_151234 <tycho>3 msPassed
test_implicitPropertySourceLookup_raw_151234 <maven-backtracking>4 msPassed
test_implicitPropertySourceLookup_raw_151234 <maven>4 msPassed
test_implicitPropertySourceLookup_raw_151234 <tycho>3 msPassed
test_namespaces <maven-backtracking>4 msPassed
test_namespaces <maven>4 msPassed
test_namespaces <tycho>4 msPassed
test_parameterNameCoincidesWithAttributeName_140008 <maven-backtracking>4 msPassed
test_parameterNameCoincidesWithAttributeName_140008 <maven>4 msPassed
test_parameterNameCoincidesWithAttributeName_140008 <tycho>3 msPassed
test_parametersAreLocalVariables <maven-backtracking>8 msPassed
test_parametersAreLocalVariables <maven>4 msPassed
test_parametersAreLocalVariables <tycho>3 msPassed
test_passingOclInvalidToOperation <maven-backtracking>4 msPassed
test_passingOclInvalidToOperation <maven>3 msPassed
test_passingOclInvalidToOperation <tycho>4 msPassed
test_postcondition_atPre <maven-backtracking>3 msPassed
test_postcondition_atPre <maven>4 msPassed
test_postcondition_atPre <tycho>3 msPassed
test_postcondition_atPre_operation <maven-backtracking>5 msPassed
test_postcondition_atPre_operation <maven>5 msPassed
test_postcondition_atPre_operation <tycho>2 msPassed
test_postcondition_result <maven-backtracking>51 msPassed
test_postcondition_result <maven>3 msPassed
test_postcondition_result <tycho>2 msPassed
test_simplePostcondition <maven-backtracking>2 msPassed
test_simplePostcondition <maven>2 msPassed
test_simplePostcondition <tycho>2 msPassed
test_simplePrecondition <maven-backtracking>0 msPassed
test_simplePrecondition <maven>33 msPassed
test_simplePrecondition <tycho>2 msPassed
test_variablesHidingAttributes <maven-backtracking>4 msPassed
test_variablesHidingAttributes <maven>4 msPassed
test_variablesHidingAttributes <tycho>2 msPassed