Changes between Initial Version and Version 1 of Ticket #2664, comment 18


Ignore:
Timestamp:
2020-01-13T16:18:09Z (5 years ago)
Author:
Andreas Heuermann

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #2664, comment 18

    initial v1  
    55Replacing `when change(u) then` with `when u > pre(u) or u < pre(u) then` or `when u>pre(u) then` doesn't help here.
    66
    7 So it is probably no problem regarding the change key-word, or the combination of two condition literals.
     7So it is probably no problem regarding the `change` key-word, or the combination of two condition literals.
    88