.FCSysTest.Test.Tests.BecomesTrueAt

Tests on the AssertBecomesTrueAt model

Contents

Name Description
 CheckSuccess
 CheckFailure1 Check for failure when expected transition is before simulation start
 CheckFailure2 Check for failure when transition is early
 CheckFailure3 Check for failure when transition is late
 CheckFailure4 Check for failure when expected transition is after simulation end

Generated at 2026-04-15T18:18:36Z by OpenModelicaOpenModelica 1.26.3 using GenerateDoc.mos