@lenaRB : Several unit tests embedding external variables are failing in the test_report.html since the within statement is incompletely generated during the building of their corresponding verification models.
See for instance unit test BecomesFalse:
within ;
in the corresponding BecomesFalse_verif.mo model should be replaced by
within BecomesFalse;
@lenaRB : Several unit tests embedding external variables are failing in the
test_report.htmlsince thewithinstatement is incompletely generated during the building of their corresponding verification models.See for instance unit test
BecomesFalse:within ;in the correspondingBecomesFalse_verif.momodel should be replaced bywithin BecomesFalse;