Compliance checker: attribute initial forbidden for inputs

modelica-tools / FMUComplianceChecker

FMI Compliance Checker for validation of FMUs 1.0 and 2.0

BSD 3-Clause "New" or "Revised" License

43 stars 31 forks source link

Compliance checker: attribute initial forbidden for inputs #24

Closed modelica-trac-importer closed 4 years ago

modelica-trac-importer commented 6 years ago

Reported by cbertsch on 17 Jan 2017 17:11 UTC In the FMI 2.0 specification it is stated on p.47: "Enumeration that defines how the variable is initialized. It is not allowed to provide a value for initial if causality = input or independent". This is currently not checked by the compliance checker. I attached an FMU containing this error.

Migrated-From: https://trac.fmi-standard.org/ticket/403

ghorwin commented 5 years ago

Seems there is a check implemented in current version 2.0.4, that forbids "causality=input", "variability=continuous" and "initial=exact" -> compliance checker requests and accepts "initial=approx" in this case.

filip-stenstrom commented 4 years ago

Closing, since this has been fixed, as mentioned by @ghorwin.