Opened 12 years ago

Closed 11 years ago

#2263 closed defect (invalid)

erroneously overdetermined system

Reported by: Lennart Ochel Owned by: Lennart Ochel
Priority: high Milestone: 1.9.0
Component: Backend Version: trunk
Keywords: Cc:

Description

The following generates erroneously an overdetermined system:

model Unnamed
  Real x(start=0, fixed=true);
  Real d(start=0, fixed=true);
initial equation
  pre(x) = -1;
equation
  der(x) = 0;
  when sample(0.0, 1.0) then
    d = pre(x);
  end when;
end Unnamed;

Change History (4)

comment:1 by Lennart Ochel, 12 years ago

Resolution: → fixed
Status: new → closed

Fixed in r16484.

comment:2 by Lennart Ochel, 11 years ago

Resolution: fixed
Status: closed → reopened

Now I think that this model is overdetermined. Probably the initialization should fail because -1 != 0.

comment:3 by Lennart Ochel, 11 years ago

The specification was not that clear when I opened this ticket. In the meanwhile this was made clear: ​https://trac.modelica.org/Modelica/ticket/1195

comment:4 by Lennart Ochel, 11 years ago

Resolution: → invalid
Status: reopened → closed

Refixed in r16868. The initial equation system is overdetermined.

Note: See TracTickets for help on using tickets.