@lenaRB : I reviewed the CountInside example.
The compilation issue is due to some connectors' inconsistencies between CRML.mo (the library used for building the externals and verif models) and the CRML2Modelica.mo (the library used natively by the compiler).
I have already created some converters in CRML.ComplierCompliancy subpackage but that was a while ago now and we need to discuss how to organize this development before fixing any parts (e.g. where to put these converters - maybe it is better to have them in a separate library to have more flexibility, in which "direction" should the conversion be considered - which depends on how we intend to generate the bindings of the verification model in a more or less automated way...).
@lenaRB : I reviewed the CountInside example.
The compilation issue is due to some connectors' inconsistencies between
CRML.mo(the library used for building theexternalsandverifmodels) and theCRML2Modelica.mo(the library used natively by the compiler).I have already created some converters in
CRML.ComplierCompliancysubpackage but that was a while ago now and we need to discuss how to organize this development before fixing any parts (e.g. where to put these converters - maybe it is better to have them in a separate library to have more flexibility, in which "direction" should the conversion be considered - which depends on how we intend to generate the bindings of the verification model in a more or less automated way...).