search

lenaRB / crml-compiler

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

solve ticket #88 #89

Closed audrey-jardin closed 3 weeks ago

audrey-jardin commented 4 weeks ago

Fix pro]blem encountered when simulating BecomesFalse_verif.mo model when using the requirement model automatically generated by the compiler.

@lenaRB : this should answer issue #88 .