Test Result : InferredAttributeChangeValidatorTest

0 failures (±0)

5 tests (±0)

All Tests

Test name	Duration	Status
validateChangeAllowsAdditiveChangeOfPluralAttribute	5 ms	Passed
validateChangeAllowsAdditiveChangeOfSingularAttribute	3 ms	Passed
validateChangeExtractsAxiomsForAttributeAndChecksWhetherRemovedOnesAreNotInferred	0 ms	Passed
validateChangeThrowsInferredAttributeModifiedExceptionWhenRemovedAxiomIsInferred	0 ms	Passed
validateChangeThrowsInferredAttributeModifiedExceptionWhenSingularAttributeIsModified	1 ms	Passed