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


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

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #5367, comment 12

    v1 v2  
    2525case 2_4: A=true, A_pre=false, B=false, B_pre=false
    2626}}}
    27 We have a view 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.