Skip to content

Test Result : OperationConstraintsTest

0 failures
54 tests
Took 1.3 sec.

All Tests

Test nameDurationStatus
test_bodyConditionConformance <maven-backtracking>27 msPassed
test_bodyConditionConformance <maven>33 msPassed
test_bodyConditionConformance <tycho>33 msPassed
test_bodyConditionVoidOperation <maven-backtracking>17 msPassed
test_bodyConditionVoidOperation <maven>16 msPassed
test_bodyConditionVoidOperation <tycho>15 msPassed
test_illegalUseOfAtPre_invariant <maven-backtracking>18 msPassed
test_illegalUseOfAtPre_invariant <maven>17 msPassed
test_illegalUseOfAtPre_invariant <tycho>15 msPassed
test_illegalUseOfAtPre_postcondition <maven-backtracking>19 msPassed
test_illegalUseOfAtPre_postcondition <maven>17 msPassed
test_illegalUseOfAtPre_postcondition <tycho>16 msPassed
test_illegalUseOfAtPre_precondition <maven-backtracking>39 msPassed
test_illegalUseOfAtPre_precondition <maven>16 msPassed
test_illegalUseOfAtPre_precondition <tycho>16 msPassed
test_implicitOperationSourceLookup_helper_151234 <maven-backtracking>39 msPassed
test_implicitOperationSourceLookup_helper_151234 <maven>48 msPassed
test_implicitOperationSourceLookup_helper_151234 <tycho>50 msPassed
test_implicitOperationSourceLookup_raw_151234 <maven-backtracking>48 msPassed
test_implicitOperationSourceLookup_raw_151234 <maven>37 msPassed
test_implicitOperationSourceLookup_raw_151234 <tycho>53 msPassed
test_implicitPropertySourceLookup_helper_151234 <maven-backtracking>40 msPassed
test_implicitPropertySourceLookup_helper_151234 <maven>44 msPassed
test_implicitPropertySourceLookup_helper_151234 <tycho>40 msPassed
test_implicitPropertySourceLookup_raw_151234 <maven-backtracking>49 msPassed
test_implicitPropertySourceLookup_raw_151234 <maven>39 msPassed
test_implicitPropertySourceLookup_raw_151234 <tycho>35 msPassed
test_namespaces <maven-backtracking>23 msPassed
test_namespaces <maven>21 msPassed
test_namespaces <tycho>19 msPassed
test_parameterNameCoincidesWithAttributeName_140008 <maven-backtracking>19 msPassed
test_parameterNameCoincidesWithAttributeName_140008 <maven>17 msPassed
test_parameterNameCoincidesWithAttributeName_140008 <tycho>16 msPassed
test_parametersAreLocalVariables <maven-backtracking>19 msPassed
test_parametersAreLocalVariables <maven>22 msPassed
test_parametersAreLocalVariables <tycho>23 msPassed
test_postcondition_atPre <maven-backtracking>18 msPassed
test_postcondition_atPre <maven>17 msPassed
test_postcondition_atPre <tycho>16 msPassed
test_postcondition_atPre_operation <maven-backtracking>19 msPassed
test_postcondition_atPre_operation <maven>25 msPassed
test_postcondition_atPre_operation <tycho>25 msPassed
test_postcondition_result <maven-backtracking>25 msPassed
test_postcondition_result <maven>17 msPassed
test_postcondition_result <tycho>16 msPassed
test_simplePostcondition <maven-backtracking>18 msPassed
test_simplePostcondition <maven>26 msPassed
test_simplePostcondition <tycho>16 msPassed
test_simplePrecondition <maven-backtracking>18 msPassed
test_simplePrecondition <maven>16 msPassed
test_simplePrecondition <tycho>15 msPassed
test_variablesHidingAttributes <maven-backtracking>18 msPassed
test_variablesHidingAttributes <maven>17 msPassed
test_variablesHidingAttributes <tycho>15 msPassed