OMC accepts invalid values of parameters

[Francesco Casella]

Please run the following test case

model TestMinParameter
  parameter Integer p(min = 2) = 1;
  Real x(start = 0, fixed = true);
equation
  der(x) = p - x;
end TestMinParameter;

OMEdit outputs:

assert | warning | The following assertion has been violated at time 0.000000
p >= 2

but then continues with the simulation.

IMHO this model is invalid and should not be simulated at all. We may add a flag to turn violations of min/max attributes in parameters into warnings, but it should be an error by default.

See #4985 for a closely related issue.

[Francesco Casella]

As the -d=warnMinMax has been introduced, we can close this ticket.