.Annex60.Utilities.Diagnostics.AssertInequality

Information

Model that triggers an assert if u1 > u2 - threShold and t > t₀.

Revisions

• October 10, 2013, by Michael Wetter:
  Reformulated model to avoid an event iteration.
• September 10, 2013, by Michael Wetter:
  Added time in print statement as OpenModelica, in its error message, does not output the time when the assert is triggered.
• January 23, 2013, by Michael Wetter:
  Replaced when test with if test as equations within a when section are only evaluated when the condition becomes true. This fixes issue 72.
• April 17, 2008, by Michael Wetter:
  First implementation.