| test_bodyConditionConformance <maven-backtracking> | 53 ms | Passed |
| test_bodyConditionConformance <maven> | 20 ms | Passed |
| test_bodyConditionConformance <tycho> | 21 ms | Passed |
| test_bodyConditionVoidOperation <maven-backtracking> | 19 ms | Passed |
| test_bodyConditionVoidOperation <maven> | 16 ms | Passed |
| test_bodyConditionVoidOperation <tycho> | 16 ms | Passed |
| test_illegalUseOfAtPre_invariant <maven-backtracking> | 18 ms | Passed |
| test_illegalUseOfAtPre_invariant <maven> | 15 ms | Passed |
| test_illegalUseOfAtPre_invariant <tycho> | 15 ms | Passed |
| test_illegalUseOfAtPre_postcondition <maven-backtracking> | 35 ms | Passed |
| test_illegalUseOfAtPre_postcondition <maven> | 16 ms | Passed |
| test_illegalUseOfAtPre_postcondition <tycho> | 40 ms | Passed |
| test_illegalUseOfAtPre_precondition <maven-backtracking> | 18 ms | Passed |
| test_illegalUseOfAtPre_precondition <maven> | 15 ms | Passed |
| test_illegalUseOfAtPre_precondition <tycho> | 16 ms | Passed |
| test_implicitOperationSourceLookup_helper_151234 <maven-backtracking> | 32 ms | Passed |
| test_implicitOperationSourceLookup_helper_151234 <maven> | 40 ms | Passed |
| test_implicitOperationSourceLookup_helper_151234 <tycho> | 33 ms | Passed |
| test_implicitOperationSourceLookup_raw_151234 <maven-backtracking> | 35 ms | Passed |
| test_implicitOperationSourceLookup_raw_151234 <maven> | 34 ms | Passed |
| test_implicitOperationSourceLookup_raw_151234 <tycho> | 34 ms | Passed |
| test_implicitPropertySourceLookup_helper_151234 <maven-backtracking> | 34 ms | Passed |
| test_implicitPropertySourceLookup_helper_151234 <maven> | 40 ms | Passed |
| test_implicitPropertySourceLookup_helper_151234 <tycho> | 48 ms | Passed |
| test_implicitPropertySourceLookup_raw_151234 <maven-backtracking> | 38 ms | Passed |
| test_implicitPropertySourceLookup_raw_151234 <maven> | 34 ms | Passed |
| test_implicitPropertySourceLookup_raw_151234 <tycho> | 33 ms | Passed |
| test_namespaces <maven-backtracking> | 19 ms | Passed |
| test_namespaces <maven> | 19 ms | Passed |
| test_namespaces <tycho> | 19 ms | Passed |
| test_parameterNameCoincidesWithAttributeName_140008 <maven-backtracking> | 16 ms | Passed |
| test_parameterNameCoincidesWithAttributeName_140008 <maven> | 17 ms | Passed |
| test_parameterNameCoincidesWithAttributeName_140008 <tycho> | 16 ms | Passed |
| test_parametersAreLocalVariables <maven-backtracking> | 15 ms | Passed |
| test_parametersAreLocalVariables <maven> | 20 ms | Passed |
| test_parametersAreLocalVariables <tycho> | 33 ms | Passed |
| test_postcondition_atPre <maven-backtracking> | 16 ms | Passed |
| test_postcondition_atPre <maven> | 22 ms | Passed |
| test_postcondition_atPre <tycho> | 20 ms | Passed |
| test_postcondition_atPre_operation <maven-backtracking> | 16 ms | Passed |
| test_postcondition_atPre_operation <maven> | 16 ms | Passed |
| test_postcondition_atPre_operation <tycho> | 17 ms | Passed |
| test_postcondition_result <maven-backtracking> | 14 ms | Passed |
| test_postcondition_result <maven> | 15 ms | Passed |
| test_postcondition_result <tycho> | 15 ms | Passed |
| test_simplePostcondition <maven-backtracking> | 15 ms | Passed |
| test_simplePostcondition <maven> | 24 ms | Passed |
| test_simplePostcondition <tycho> | 16 ms | Passed |
| test_simplePrecondition <maven-backtracking> | 16 ms | Passed |
| test_simplePrecondition <maven> | 15 ms | Passed |
| test_simplePrecondition <tycho> | 16 ms | Passed |
| test_variablesHidingAttributes <maven-backtracking> | 16 ms | Passed |
| test_variablesHidingAttributes <maven> | 15 ms | Passed |
| test_variablesHidingAttributes <tycho> | 29 ms | Passed |
![[Jenkins]](/ocl/static/75ec1162/images/svgs/logo.svg){kind=logo}
