WarningAssertionGroupType
The AssertionGroupType for AssertionGroups whose assertions are used to state a warning rather than making an assumption.
For instance, to state that an implicit assumption is not met.
The AssertionGroupType for AssertionGroups whose assertions are used to state a warning rather than making an assumption.
For instance, to state that an implicit assumption is not met.