Opened 8 years ago

Last modified 3 years ago

#4242 new defect

missing assert

Reported by: Vitalij Ruge Owned by: Lennart Ochel
Priority: low Milestone:
Component: Backend Version:
Keywords: Cc: Lennart Ochel

Description

following example does not trigger an assert

model tsatAssert
   parameter Real t = Modelica.Media.Water.IF97_Utilities.BaseIF97.Basic.tsat(-1);
end tsatAssert;

Change History (7)

comment:1 by Martin Sjölund, 8 years ago

Cc: Lennart Ochel added
Component: *unknown* → Backend
Milestone: Future → 1.12.0
Owner: changed from somebody to Lennart Ochel

This is due to the equation never being executed. The backend generates code for it being a parameter, but I guess it thinks it has been evaluated and thus just keeps the value from the xml-file instead of adding the equation for it...

comment:2 by Francesco Casella, 7 years ago

Milestone: 1.12.0 → 1.13.0

Milestone moved to 1.13.0 due to 1.12.0 already being released.

comment:3 by Francesco Casella, 6 years ago

Milestone: 1.13.0 → 1.14.0

Rescheduled to 1.14.0 after 1.13.0 releasee

comment:4 by Francesco Casella, 5 years ago

Milestone: 1.14.0 → 1.16.0

Releasing 1.14.0 which is stable and has many improvements w.r.t. 1.13.2. This issue is rescheduled to 1.16.0

comment:5 by Francesco Casella, 4 years ago

Milestone: 1.16.0 → 1.17.0

Retargeted to 1.17.0 after 1.16.0 release

comment:6 by Francesco Casella, 4 years ago

Milestone: 1.17.0 → 1.18.0

Retargeted to 1.18.0 because of 1.17.0 timed release.

comment:7 by Francesco Casella, 3 years ago

Milestone: 1.18.0

Ticket retargeted after milestone closed

Note: See TracTickets for help on using tickets.