| testAuxiliaryDescriptionsEquals | 44 ms | Passed |
| testBooleanBinaryAnd | 54 ms | Passed |
| testBooleanBinaryEquals | 55 ms | Passed |
| testBooleanBinaryNotEquals | 54 ms | Passed |
| testBooleanBinaryOr | 57 ms | Passed |
| testBooleanBinaryPlus | 53 ms | Passed |
| testBooleanMethodCall | 52 ms | Passed |
| testBooleanNegation | 55 ms | Passed |
| testEObjectSubtyping | 16 ms | Passed |
| testEquals | 15 ms | Passed |
| testExpressionInConclusion | 38 ms | Passed |
| testHashCodeOfTupleType | 53 ms | Passed |
| testHashCodeOfTupleTypeWithUnresolvedTypes | 58 ms | Passed |
| testInputParameter | 64 ms | Passed |
| testIsEObject | 17 ms | Passed |
| testIsEObjectFails | 15 ms | Passed |
| testIsEStructuralFeature | 18 ms | Passed |
| testIsEStructuralFeatureFails | 21 ms | Passed |
| testJudgmentDescriptionsEquals | 52 ms | Passed |
| testNotBooleanAssignment | 58 ms | Passed |
| testNotBooleanFor | 50 ms | Passed |
| testNotBooleanIf | 47 ms | Passed |
| testNotBooleanMethodCall | 52 ms | Passed |
| testNotBooleanVariableDeclaration | 42 ms | Passed |
| testNotEquals | 16 ms | Passed |
| testObjectSubtyping | 16 ms | Passed |
| testOutputParameter | 41 ms | Passed |
| testPredicateJudgments | 62 ms | Passed |
| testRuleConclusionTypesWithExpressions | 63 ms | Passed |
| testRuleInvocationExpressions | 60 ms | Passed |
| testRuleParameterTypes | 56 ms | Passed |
| testStandardXVariableDeclaration | 16 ms | Passed |
| testTupleTypeEquals | 16 ms | Passed |
| testTupleTypeEqualsWithANonTupleType | 17 ms | Passed |
| testTupleTypeEqualsWithDifferentSize | 15 ms | Passed |
| testTupleTypeEqualsWithNull | 16 ms | Passed |
| testTupleTypeNotEquals | 17 ms | Passed |
| testTupleTypeNotEqualsDifferentSize | 16 ms | Passed |
![[Jenkins]](/xsemantics/static/f23f4299/images/svgs/logo.svg){kind=logo}
