search

aas-core-works / aas-core-meta

Provide formalized meta-models for Asset Administration Shell (AAS).
Other
10 stars 3 forks source link

[V3] Fix invariant for Constraint AASd-129 #237

Closed mristin closed 1 year ago

mristin commented 1 year ago

We add a nullability check which has not been discovered by our (admittedly still limited) type inference during the smoke test.