new set of verification models for ETL testing

lenaRB / crml-compiler

Implementation of the CRML to Modelica compiler supported by the ITEA3 EMBRACE project.

8 stars 8 forks source link

new set of verification models for ETL testing #72

Closed audrey-jardin closed 7 months ago

audrey-jardin commented 7 months ago

verification models for ETL operators:

CheckOver
CountInside
DecideOver
EvaluateOver
Inside
TemplateOr

audrey-jardin commented 7 months ago

addition of verification models for ETL operators:

Xor
Implies
BecomesFalse

audrey-jardin commented 7 months ago

@lenaRB : I made some cleaning on CRML.mo and CRML_test.mo to enable their opening in OpenModelica but I still encounter some problems to simulate examples with clocks in OpenModelica (for example BecomesFalse_verif simulates with Dymola but not with OpenModelica).