Test Result : InferredAttributeChangeValidatorTest

0 failures (-5)

5 tests (±0)

All Tests

Test name	Duration	Status
validateChangeAllowsAdditiveChangeOfPluralAttribute	1 ms	Fixed
validateChangeAllowsAdditiveChangeOfSingularAttribute	1 ms	Fixed
validateChangeExtractsAxiomsForAttributeAndChecksWhetherRemovedOnesAreNotInferred	2 ms	Fixed
validateChangeThrowsInferredAttributeModifiedExceptionWhenRemovedAxiomIsInferred	2 ms	Fixed
validateChangeThrowsInferredAttributeModifiedExceptionWhenSingularAttributeIsModified	1 ms	Fixed