Changes between Version 2 and Version 3 of Ticket #5367, comment 12


Ignore:
Timestamp:
2020-06-30T14:37:29Z (5 years ago)
Author:
Andreas Heuermann

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #5367, comment 12

    v2 v3  
    2525case 2_4: A=true, A_pre=false, B=false, B_pre=false
    2626}}}
    27 We have a few cases that are duplicate but not all case 1_x are equal to case 2_x, so we can't reduce the when condition to `when{A}`
     27We have a few cases that are duplicate but not all case 1_x are equal to case 2_x, so we can't reduce the when condition to `when{A}`.
    2828
    2929I actually needed pen and paper for this one... But I'm glad I did it. I was roughly aware that it's not so straight forward but could not pin the difference down right away.