@lenaRB , @adrpo : Several unit tests are currently failing in the test_report.html due to some type mismatching in the verification models that are automatically generated by the crml compiler.
This is due to the fact that we trying to bind:
external variables declared with some types of CRML2Modelica.mo in the requirement model
with variables coming from "behavioral" models which are potentially declared with other types
Option 1 could be the development of separate library in which some basic types will be defined to be common between CRML2Modelica.mo and CRML.mo libraries.
But other options may perhaps be more relevant.
@lenaRB , @adrpo : Several unit tests are currently failing in the
test_report.htmldue to some type mismatching in the verification models that are automatically generated by the crml compiler.This is due to the fact that we trying to bind:
Option 1 could be the development of separate library in which some basic types will be defined to be common between
CRML2Modelica.moandCRML.mo libraries. But other options may perhaps be more relevant.