Changes between Initial Version and Version 1 of Ticket #5188, comment 1


Ignore:
Timestamp:
2018-10-26T21:08:19Z (6 years ago)
Author:
Francesco Casella

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #5188, comment 1

    initial v1  
    44So, as far as I understand, the behaviour of both tools is correct.
    55
    6 If you replace {{{when}}} with {{{if}}}, then it's a different story, as the above-stated rule no longer applies.
     6If you replace {{{when}}} with {{{if}}}, then it's a different story, as the above-stated rule no longer applies. Of course this only holds for {{{y}}}, the other {{{when}}} clauses remain inactive, so the outcome is correct again.