insInferredValueRemovalReturnsFalseWhenChangeToInferredAttributeIsAdditive | 2 ms | Passed |
isInferredValueRemovalReturnsTrueWhenChangeRemovesInferredValue | 2 ms | Passed |
validateChangeAllowsAdditiveChangeOfPluralAttribute | 3 ms | Passed |
validateChangeAllowsAdditiveChangeOfSingularAttribute | 2 ms | Passed |
validateChangeExtractsAxiomsForAttributeAndChecksWhetherRemovedOnesAreNotInferred | 4 ms | Passed |
validateChangeThrowsInferredAttributeModifiedExceptionWhenRemovedAxiomIsInferred | 5 ms | Passed |
validateChangeThrowsInferredAttributeModifiedExceptionWhenSingularAttributeIsModified | 3 ms | Passed |