-- The namespace of a property set does not declare any identical identifiers. No bug SC0009.
PROPERTY SET PROPERTY_SET_TC3 IS
enumeration_type : TYPE ENUMERATION (ONE, TWO, THREE);
property_declaration : id APPLIES TO (system);
property_constant : constant INTEGER => 256;
END PROPERTY_SET_TC3;
This model is flagged as no bug, and AADLQ&A reports that this model should be valid and not invalid as flagged by Ocarina, but also OSATE2
here is the corresponding model
-- The namespace of a property set does not declare any identical identifiers. No bug SC0009. PROPERTY SET PROPERTY_SET_TC3 IS enumeration_type : TYPE ENUMERATION (ONE, TWO, THREE); property_declaration : id APPLIES TO (system); property_constant : constant INTEGER => 256; END PROPERTY_SET_TC3;
This model is flagged as no bug, and AADLQ&A reports that this model should be valid and not invalid as flagged by Ocarina, but also OSATE2
So this testcase looks wrong to me