Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 350b239 commit d7afd7bCopy full SHA for d7afd7b
1 file changed
cpp/ql/test/library-tests/controlflow/guards/GuardsCompare.expected
@@ -58,18 +58,12 @@
58
| 61 | i == 0 when i is true |
59
| 61 | i == 1 when i is true |
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
| 75 | 0 != x+0 when ... == ... is false |
65
| 75 | 0 == x+0 when ... == ... is true |
66
| 75 | x != 0 when ... == ... is false |
67
| 75 | x != 0+0 when ... == ... is false |
68
| 75 | x == 0 when ... == ... is true |
69
| 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
| 85 | 0 != x+0 when ... == ... is false |
74
| 85 | 0 != y+0 when ... != ... is true |
75
| 85 | 0 != y+0 when ... && ... is true |
0 commit comments