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 5858| 61 | i == 0 when i is true |
5959| 61 | i == 1 when i is true |
6060| 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 |
6461| 75 | 0 != x+0 when ... == ... is false |
6562| 75 | 0 == x+0 when ... == ... is true |
6663| 75 | x != 0 when ... == ... is false |
6764| 75 | x != 0+0 when ... == ... is false |
6865| 75 | x == 0 when ... == ... is true |
6966| 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 |
7367| 85 | 0 != x+0 when ... == ... is false |
7468| 85 | 0 != y+0 when ... != ... is true |
7569| 85 | 0 != y+0 when ... && ... is true |
You can’t perform that action at this time.
0 commit comments