Test Result : InvariantConstraintsTest
0 failures
15 tests
All Tests
Test name | Duration | Status |
---|---|---|
test_propertyNameCoincidesWithTypeName_140347 <maven-backtracking> | 4 ms | Passed |
test_propertyNameCoincidesWithTypeName_140347 <maven> | 4 ms | Passed |
test_propertyNameCoincidesWithTypeName_140347 <tycho> | 4 ms | Passed |
test_simpleInvariant <maven-backtracking> | 3 ms | Passed |
test_simpleInvariant <maven> | 3 ms | Passed |
test_simpleInvariant <tycho> | 4 ms | Passed |
test_simpleInvariantWithLet <maven-backtracking> | 4 ms | Passed |
test_simpleInvariantWithLet <maven> | 3 ms | Passed |
test_simpleInvariantWithLet <tycho> | 4 ms | Passed |
test_simpleInvariantWithSelf <maven-backtracking> | 3 ms | Passed |
test_simpleInvariantWithSelf <maven> | 3 ms | Passed |
test_simpleInvariantWithSelf <tycho> | 3 ms | Passed |
test_variablesHidingAttributes <maven-backtracking> | 3 ms | Passed |
test_variablesHidingAttributes <maven> | 4 ms | Passed |
test_variablesHidingAttributes <tycho> | 4 ms | Passed |