blockAssertEquality

Assert when condition is violated

Extends from BaseClasses.PartialInputCheck.

Information

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

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.