Test Result : InvariantConstraintsTest

0 failures
15 tests
Took 58 ms.

All Tests

Test nameDurationStatus
test_propertyNameCoincidesWithTypeName_140347 <maven-backtracking>4 msPassed
test_propertyNameCoincidesWithTypeName_140347 <maven>5 msPassed
test_propertyNameCoincidesWithTypeName_140347 <tycho>5 msPassed
test_simpleInvariant <maven-backtracking>3 msPassed
test_simpleInvariant <maven>4 msPassed
test_simpleInvariant <tycho>3 msPassed
test_simpleInvariantWithLet <maven-backtracking>3 msPassed
test_simpleInvariantWithLet <maven>5 msPassed
test_simpleInvariantWithLet <tycho>5 msPassed
test_simpleInvariantWithSelf <maven-backtracking>3 msPassed
test_simpleInvariantWithSelf <maven>4 msPassed
test_simpleInvariantWithSelf <tycho>3 msPassed
test_variablesHidingAttributes <maven-backtracking>4 msPassed
test_variablesHidingAttributes <maven>4 msPassed
test_variablesHidingAttributes <tycho>4 msPassed