File tree Expand file tree Collapse file tree 1 file changed +0
-6
lines changed
cpp/ql/test/library-tests/controlflow/guards Expand file tree Collapse file tree 1 file changed +0
-6
lines changed Original file line number Diff line number Diff line change 58
58
| 61 | i == 0 when i is true |
59
59
| 61 | i == 1 when i is true |
60
60
| 61 | i == 2 when i is true |
61
- | 74 | i == 0 when i is true |
62
- | 74 | i == 1 when i is true |
63
- | 74 | i == 2 when i is true |
64
61
| 75 | 0 != x+0 when ... == ... is false |
65
62
| 75 | 0 == x+0 when ... == ... is true |
66
63
| 75 | x != 0 when ... == ... is false |
67
64
| 75 | x != 0+0 when ... == ... is false |
68
65
| 75 | x == 0 when ... == ... is true |
69
66
| 75 | x == 0+0 when ... == ... is true |
70
- | 84 | i == 0 when i is true |
71
- | 84 | i == 1 when i is true |
72
- | 84 | i == 2 when i is true |
73
67
| 85 | 0 != x+0 when ... == ... is false |
74
68
| 85 | 0 != y+0 when ... != ... is true |
75
69
| 85 | 0 != y+0 when ... && ... is true |
You can’t perform that action at this time.
0 commit comments