search

lenaRB / crml-compiler

Implementation of the CRML to Modelica compiler supported by the ITEA3 EMBRACE project.
8 stars 8 forks source link

problem with test examples #88

Open lenaRB opened 5 months ago

lenaRB commented 5 months ago

BecomesFalse_verif

audrey-jardin commented 5 months ago

@lenaRB https://github.com/lenaRB/crml-compiler/issues/src/test/resources/verificationModels/libraries/ETL_test/BecomesFalse/BecomesFalse_verif.mo has been fixed as commited in pull request #89 .

The reference to the unknown block event4ToEvent has been removed. Please note that for strange reason no conversion is needed here to bind externals.b1 with b1 although their types are different (the first one is typed as CRML.ETL.Connectors.Boolean4Output whereas the second one is typed as CRMLtoModelica.Types.Boolean4).

audrey-jardin commented 5 months ago

If Dymola seems more tolerant, type mismatching is finally appearing in OpenModelica and prevent to run simulations in such cases. See ticket #93 for more details.