Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Uniqueness of `Attribute “name” of Annotations with type `fmi2Annotation`. #629
On p. 45 regarding VendorAnnotations with type
This is confusing as the types are the same,
chrbertsch: see comments below
Positing Nick's proposal from previous thread -- listed below. Seems like a fine approach in my view. SO the proposal is to use the naming from p. 45 on p. 57 as well.
VDMCheck verifies this, assuming the tool names should be unique in both places. There are no occurrences of a duplicate name in the whole of the FMI Cross Check repository (792 FMUs), so it might be safe to make that the rule?