| Name | Status | Type | Time(s) |
| immutableClassCanOnlyExtendImmutableClass | Success | | 0.000 |
| isImmutable | Success | | 0.000 |
| immutabilityPropagatesToDescendantClasses | Success | | 0.000 |
| classImmutabilityCanNotBeChangedWithInvalidRelationships | Success | | 0.000 |
| subclassCannotBeImutableIfSuperclassIsMutable | Success | | 0.000 |
| classImmutabilityRulesDontInterfereWithNonImmutableClassAssociations | Success | | 0.000 |
| immutabilityPropagatesToAllRelationshipsOfDescendantClasses | Success | | 0.000 |
| superclassCannotBeImmutableIfSubclassesCannotBeImmutable | Success | | 0.000 |