| testAuxiliaryDescriptionsEquals | 27 ms | Passed |
| testBooleanBinaryAnd | 29 ms | Passed |
| testBooleanBinaryEquals | 46 ms | Passed |
| testBooleanBinaryNotEquals | 29 ms | Passed |
| testBooleanBinaryOr | 29 ms | Passed |
| testBooleanBinaryPlus | 29 ms | Passed |
| testBooleanMethodCall | 40 ms | Passed |
| testBooleanNegation | 31 ms | Passed |
| testEObjectSubtyping | 9 ms | Passed |
| testEquals | 8 ms | Passed |
| testExpressionInConclusion | 24 ms | Passed |
| testHashCodeOfTupleType | 28 ms | Passed |
| testHashCodeOfTupleTypeWithUnresolvedTypes | 41 ms | Passed |
| testInputParameter | 40 ms | Passed |
| testIsEObject | 9 ms | Passed |
| testIsEObjectFails | 9 ms | Passed |
| testIsEStructuralFeature | 10 ms | Passed |
| testIsEStructuralFeatureFails | 10 ms | Passed |
| testJudgmentDescriptionsEquals | 24 ms | Passed |
| testNotBooleanAssignment | 25 ms | Passed |
| testNotBooleanFor | 26 ms | Passed |
| testNotBooleanIf | 25 ms | Passed |
| testNotBooleanMethodCall | 29 ms | Passed |
| testNotBooleanVariableDeclaration | 21 ms | Passed |
| testNotEquals | 8 ms | Passed |
| testObjectSubtyping | 8 ms | Passed |
| testOutputParameter | 21 ms | Passed |
| testPredicateJudgments | 34 ms | Passed |
| testRuleConclusionTypesWithExpressions | 32 ms | Passed |
| testRuleInvocationExpressions | 47 ms | Passed |
| testRuleParameterTypes | 43 ms | Passed |
| testStandardXVariableDeclaration | 10 ms | Passed |
| testTupleTypeEquals | 13 ms | Passed |
| testTupleTypeEqualsWithANonTupleType | 8 ms | Passed |
| testTupleTypeEqualsWithDifferentSize | 9 ms | Passed |
| testTupleTypeEqualsWithNull | 9 ms | Passed |
| testTupleTypeNotEquals | 9 ms | Passed |
| testTupleTypeNotEqualsDifferentSize | 9 ms | Passed |
![[Jenkins]](/xsemantics/static/f23f4299/images/svgs/logo.svg){kind=logo}
