Skip to content

Test Result : OperationConstraintsTest

0 failures
54 tests
Took 2.5 sec.

All Tests

Test nameDurationStatus
test_bodyConditionConformance <maven-backtracking>68 msPassed
test_bodyConditionConformance <maven>38 msPassed
test_bodyConditionConformance <tycho>35 msPassed
test_bodyConditionVoidOperation <maven-backtracking>32 msPassed
test_bodyConditionVoidOperation <maven>32 msPassed
test_bodyConditionVoidOperation <tycho>29 msPassed
test_illegalUseOfAtPre_invariant <maven-backtracking>44 msPassed
test_illegalUseOfAtPre_invariant <maven>36 msPassed
test_illegalUseOfAtPre_invariant <tycho>35 msPassed
test_illegalUseOfAtPre_postcondition <maven-backtracking>77 msPassed
test_illegalUseOfAtPre_postcondition <maven>32 msPassed
test_illegalUseOfAtPre_postcondition <tycho>29 msPassed
test_illegalUseOfAtPre_precondition <maven-backtracking>37 msPassed
test_illegalUseOfAtPre_precondition <maven>37 msPassed
test_illegalUseOfAtPre_precondition <tycho>34 msPassed
test_implicitOperationSourceLookup_helper_151234 <maven-backtracking>88 msPassed
test_implicitOperationSourceLookup_helper_151234 <maven>73 msPassed
test_implicitOperationSourceLookup_helper_151234 <tycho>75 msPassed
test_implicitOperationSourceLookup_raw_151234 <maven-backtracking>91 msPassed
test_implicitOperationSourceLookup_raw_151234 <maven>66 msPassed
test_implicitOperationSourceLookup_raw_151234 <tycho>65 msPassed
test_implicitPropertySourceLookup_helper_151234 <maven-backtracking>85 msPassed
test_implicitPropertySourceLookup_helper_151234 <maven>75 msPassed
test_implicitPropertySourceLookup_helper_151234 <tycho>63 msPassed
test_implicitPropertySourceLookup_raw_151234 <maven-backtracking>82 msPassed
test_implicitPropertySourceLookup_raw_151234 <maven>72 msPassed
test_implicitPropertySourceLookup_raw_151234 <tycho>73 msPassed
test_namespaces <maven-backtracking>58 msPassed
test_namespaces <maven>44 msPassed
test_namespaces <tycho>45 msPassed
test_parameterNameCoincidesWithAttributeName_140008 <maven-backtracking>37 msPassed
test_parameterNameCoincidesWithAttributeName_140008 <maven>31 msPassed
test_parameterNameCoincidesWithAttributeName_140008 <tycho>32 msPassed
test_parametersAreLocalVariables <maven-backtracking>38 msPassed
test_parametersAreLocalVariables <maven>43 msPassed
test_parametersAreLocalVariables <tycho>79 msPassed
test_postcondition_atPre <maven-backtracking>33 msPassed
test_postcondition_atPre <maven>32 msPassed
test_postcondition_atPre <tycho>32 msPassed
test_postcondition_atPre_operation <maven-backtracking>41 msPassed
test_postcondition_atPre_operation <maven>35 msPassed
test_postcondition_atPre_operation <tycho>40 msPassed
test_postcondition_result <maven-backtracking>38 msPassed
test_postcondition_result <maven>31 msPassed
test_postcondition_result <tycho>28 msPassed
test_simplePostcondition <maven-backtracking>41 msPassed
test_simplePostcondition <maven>31 msPassed
test_simplePostcondition <tycho>30 msPassed
test_simplePrecondition <maven-backtracking>53 msPassed
test_simplePrecondition <maven>40 msPassed
test_simplePrecondition <tycho>30 msPassed
test_variablesHidingAttributes <maven-backtracking>37 msPassed
test_variablesHidingAttributes <maven>40 msPassed
test_variablesHidingAttributes <tycho>34 msPassed