| testBoolConstant | 16 ms | Passed |
| testCast | 19 ms | Passed |
| testCastOk1 | 18 ms | Passed |
| testCastOk2 | 18 ms | Passed |
| testCastWrong | 16 ms | Passed |
| testCheckClassOkWRTFields | 18 ms | Passed |
| testCheckClassWrongSubclassDeclaresSameFieldOfSuperClass | 19 ms | Passed |
| testCheckMethodBodyNotSubtype | 16 ms | Passed |
| testCheckMethodCallOk | 18 ms | Passed |
| testCheckMethodOk | 18 ms | Passed |
| testCheckMethodOkWithThis | 19 ms | Passed |
| testCheckNewOk | 19 ms | Passed |
| testCheckNewOk2 | 19 ms | Passed |
| testCheckNewWrongArgNum | 19 ms | Passed |
| testCheckNewWrongSubtype | 18 ms | Passed |
| testCheckNewWrongSubtypeBasic | 19 ms | Passed |
| testCheckNewWrongSubtypeSimpler | 18 ms | Passed |
| testCheckSubclassNotOvverrideMethod | 17 ms | Passed |
| testCheckSubclassOvverrideMethod | 18 ms | Passed |
| testEqualsBasicType | 19 ms | Passed |
| testEqualsClassType | 18 ms | Passed |
| testFieldSelection | 19 ms | Passed |
| testFieldsInHierarchy | 18 ms | Passed |
| testFieldsInHierarchyWithoutFields | 19 ms | Passed |
| testIntConstant | 16 ms | Passed |
| testIsClassType | 17 ms | Passed |
| testIsNotClassType | 17 ms | Passed |
| testMethodCall | 19 ms | Passed |
| testMethodsInHierarchy | 19 ms | Passed |
| testNew | 18 ms | Passed |
| testNoRuleFound | 14 ms | Passed |
| testNotEqualsBasicType | 19 ms | Passed |
| testNotEqualsClassType | 17 ms | Passed |
| testNotEqualsTypeMixed | 15 ms | Passed |
| testNullArguments | 19 ms | Passed |
| testStringConstant | 15 ms | Passed |
| testSubclasses | 17 ms | Passed |
| testSubclassesFailed | 18 ms | Passed |
| testSubclassesObject | 17 ms | Passed |
| testSubtypeSucceededBasic | 21 ms | Passed |
| testSubtypeSucceededBasicFailed | 18 ms | Passed |
| testSubtypesBasic | 17 ms | Passed |
| testSubtypesBasicFailed | 19 ms | Passed |
| testSubtypesClasses | 18 ms | Passed |
| testSubtypesClassesFailed | 18 ms | Passed |
| testSuperclasses | 18 ms | Passed |
| testSuperclassesWithCyclicHierarchy | 16 ms | Passed |
| testThisOk | 16 ms | Passed |
| testThisWithEmptyEnvironment | 17 ms | Passed |
| testThisWithWrongMapping | 18 ms | Passed |
| testVariable | 18 ms | Passed |
![[Jenkins]](/xsemantics/static/f23f4299/images/svgs/logo.svg){kind=logo}
