Test Result : InferredAttributeChangeValidatorTest

0 failures (±0)

5 tests (±0)

All Tests

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