assert and .mos testcases problem

[adrpo]

See comments

[adrpo]

Model:
class AssertTest

parameter Real lowlimit;
parameter Real highlimit;
Real x = 5;

equation

assert(x >= lowlimit and x <= highlimit, "Variable x out of limit");

end AssertTest;

class Test2

AssertTest assertTest(lowlimit = 6, highlimit = 20);

end Test2;

How can a testcase can be written for this model?
Should the status be incorrect or correct in the .mos file?
The problem is that the simulation is always succeeding in the mos file.

[petar]

The problem is also that the assertion is not translated to the simulation code.

[sjoelund.se]

Fixed (see StringTest.mos)