Skip to content

Model checking subtypes: Always creates subtype file

Laura Alexandra Sequeira Gouveia requested to merge gmv_pt_subtype_creation_fix into feature_bullseye

Generate subtype definition when no parameters in interfaces. Resulting ASN is empty.

Merge request reports