Changes between Initial Version and Version 1 of Ticket #6372, comment 11


Ignore:
Timestamp:
2021-03-08T14:28:03Z (4 years ago)
Author:
Andreas Heuermann

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #6372, comment 11

    initial v1  
    44We call the solver from 0.5 to 0.502 (continuous time mode):
    551.   Evaluate x = if time > 0.5 then time else 0.0
    6        x := 0 (not in event mode, so using pre value of relation time > 0.5, a.k.a false
     6       x := 0 (not in event mode, so using pre value of relation time > 0.5, a.k.a false)
    772.   Check assert(if time > 0.5 then x > 0.0 else true, "error")
    88       tmp1 = Greater(data->localData[0]->timeValue,0.5);  <--- this is true