asserts inside initial equation triggers after initialization aswell

[fixed-term.Sven.Baetzing@…]

Asserts which are placed inside the initial equation part trigger aswell during the main simulation.

model Bug

  Modelica.Blocks.Interfaces.RealInput x
    annotation (Placement(transformation(extent={{-120,-20},{-80,20}})));
initial equation 
  assert(x>0,"x have to be greater 0 at initial");
equation 

  annotation ();
end Bug;

Minimal example is attached to this ticket.

[Lennart Ochel]

Asserts in initial equations do not work for me at all. I get the following error message:

[/Testing/3340/main.mos:7:17-7:17:writable] Error: Missing token: EQUALS

# Error encountered! Exiting...
# Please check the error message and the flags.

[Adrian Pop]

Lennart, the problem seems to be in your script. How does that looks like?

[fixed-term.Sven.Baetzing@…]

Sorry but i can not reproduce your error message.

I am using the nightly version of OMEdit from 2015/05/19.
After loading the package:

package OMCBug
  model Bug
    Modelica.Blocks.Interfaces.RealInput x annotation(Placement(transformation(extent = {{-120, -20}, {-80, 20}})));
  initial equation
    assert(x > 0, "x have to be greater 0 at initial");
  equation

    annotation();
  end Bug;

  model BugToplvl
    OMCBug.Bug bug annotation(Placement(transformation(extent = {{-10, -10}, {10, 10}})));
    Modelica.Blocks.Sources.Ramp ramp(height = -1, duration = 0.5, offset = 1) annotation(Placement(transformation(extent = {{-64, -10}, {-44, 10}})));
  equation
    connect(bug.x, ramp.y) annotation(Line(points = {{-10, 0}, {-26, 0}, {-43, 0}}, color = {0, 0, 127}));
    annotation();
  end BugToplvl;
  annotation(uses(Modelica(version = "3.2.1")));
end OMCBug;

Simulation of the model "BugToplvl" fails.

[Lennart Ochel]

Replying to adrpo:

Lennart, the problem seems to be in your script. How does that looks like?

Oops! You are right.

[Lennart Ochel]

This should be fixed with 56d186b60d7904ed253b34995e6ff4543a16e09d/OMCompiler.

I tested it using the following assertion:

initial equation
  assert(x>0, "x have to be greater 0 at initial", AssertionLevel.warning);

[Martin Sjölund]

Milestone renamed

[Martin Sjölund]

Milestone renamed