Running command: translateModel(IndustrialControlSystems.Logical.Timers.Examples.testT_On_Redge,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="IndustrialControlSystems_IndustrialControlSystems.Logical.Timers.Examples.testT_On_Redge") Notification: Performance of loadModel(IndustrialControlSystems): time 2.105/2.105, allocations: 216.9 MB / 229 MB, free: 15.08 MB / 202.7 MB Notification: Performance of FrontEnd - loaded program: time 2.731e-05/2.748e-05, allocations: 3.984 kB / 281.9 MB, free: 10.96 MB / 234.7 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.09254/0.0926, allocations: 50.01 MB / 331.9 MB, free: 8.855 MB / 282.7 MB Notification: Performance of FrontEnd - scodeFlatten: time 0.4647/0.5573, allocations: 81.76 MB / 413.7 MB, free: 14.73 MB / 346.7 MB Notification: Performance of FrontEnd - mkProgramGraph: time 0.0004512/0.5579, allocations: 82.77 kB / 413.7 MB, free: 14.68 MB / 346.7 MB Notification: Performance of FrontEnd - DAE generated: time 0.05799/0.6159, allocations: 9.4 MB / 423.1 MB, free: 6.766 MB / 346.7 MB Notification: Performance of FrontEnd: time 2.233e-06/0.6159, allocations: 0 / 423.1 MB, free: 6.766 MB / 346.7 MB Notification: Performance of Transformations before backend: time 3.806e-05/0.616, allocations: 7.938 kB / 423.1 MB, free: 6.758 MB / 346.7 MB Error: Failed to solve equation timer.startTime = IndustrialControlSystems.Logical.Timers.Functions.positiveEdge(pre(timer.Sd), timer.Sd, timer.R, timer.startTime, time); [/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/IndustrialControlSystems 1.1.0/Logical/Timers/Timer_On_Redge.mo:14:3-36:11:writable] Error: Internal error BackendDAECreate.lowerWhenEqn: equation not handled: equation when sample(1, 0.0, timer.Ts) then timer.Sd = timer.S; timer.Shd = timer.S_hold; timer.S_hold = IndustrialControlSystems.Logical.Timers.Functions.hold(pre(timer.Sd), timer.Sd, timer.R, pre(timer.Shd)); timer.startTime = IndustrialControlSystems.Logical.Timers.Functions.positiveEdge(pre(timer.Sd), timer.Sd, timer.R, timer.startTime, time); (timer.run, timer.Q) = IndustrialControlSystems.Logical.Timers.Functions.tim(timer.S_hold, timer.R, timer.PV, time, timer.startTime); timer.tr = if timer.Q then timer.PV + timer.startTime - time else 0.0; end when;