Skip to content

Commit d09c6e3

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes.
1 parent 86c9b7c commit d09c6e3

File tree

2 files changed

+40
-0
lines changed

2 files changed

+40
-0
lines changed

‎cpp/ql/test/library-tests/controlflow/guards/GuardsCompare.expected

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -855,10 +855,18 @@
855855
| test.cpp:248:6:248:11 | ... != ... | b != 2+0 when ... != ... is true |
856856
| test.cpp:248:6:248:11 | ... != ... | b == 2 when ... != ... is false |
857857
| test.cpp:248:6:248:11 | ... != ... | b == 2+0 when ... != ... is false |
858+
| test.cpp:248:6:248:11 | ... != ... | m < n+1 when ... != ... is true |
859+
| test.cpp:248:6:248:11 | ... != ... | m >= n+1 when ... != ... is false |
860+
| test.cpp:248:6:248:11 | ... != ... | n < m+0 when ... != ... is false |
861+
| test.cpp:248:6:248:11 | ... != ... | n >= m+0 when ... != ... is true |
858862
| test.cpp:257:6:257:6 | b | b != 0 when b is true |
859863
| test.cpp:257:6:257:6 | b | b != 1 when b is false |
860864
| test.cpp:257:6:257:6 | b | b == 0 when b is false |
861865
| test.cpp:257:6:257:6 | b | b == 1 when b is true |
866+
| test.cpp:257:6:257:6 | b | m != n+0 when b is false |
867+
| test.cpp:257:6:257:6 | b | m == n+0 when b is true |
868+
| test.cpp:257:6:257:6 | b | n != m+0 when b is false |
869+
| test.cpp:257:6:257:6 | b | n == m+0 when b is true |
862870
| test.cpp:266:6:266:11 | ... != ... | 2 != b+0 when ... != ... is true |
863871
| test.cpp:266:6:266:11 | ... != ... | 2 == b+0 when ... != ... is false |
864872
| test.cpp:266:6:266:11 | ... != ... | ... != ... != 0 when ... != ... is true |
@@ -869,10 +877,18 @@
869877
| test.cpp:266:6:266:11 | ... != ... | b != 2+0 when ... != ... is true |
870878
| test.cpp:266:6:266:11 | ... != ... | b == 2 when ... != ... is false |
871879
| test.cpp:266:6:266:11 | ... != ... | b == 2+0 when ... != ... is false |
880+
| test.cpp:266:6:266:11 | ... != ... | m != n+0 when ... != ... is true |
881+
| test.cpp:266:6:266:11 | ... != ... | m == n+0 when ... != ... is false |
882+
| test.cpp:266:6:266:11 | ... != ... | n != m+0 when ... != ... is true |
883+
| test.cpp:266:6:266:11 | ... != ... | n == m+0 when ... != ... is false |
872884
| test.cpp:275:6:275:6 | b | b != 0 when b is true |
873885
| test.cpp:275:6:275:6 | b | b != 1 when b is false |
874886
| test.cpp:275:6:275:6 | b | b == 0 when b is false |
875887
| test.cpp:275:6:275:6 | b | b == 1 when b is true |
888+
| test.cpp:275:6:275:6 | b | m != n+0 when b is true |
889+
| test.cpp:275:6:275:6 | b | m == n+0 when b is false |
890+
| test.cpp:275:6:275:6 | b | n != m+0 when b is true |
891+
| test.cpp:275:6:275:6 | b | n == m+0 when b is false |
876892
| test.cpp:284:6:284:11 | ... != ... | 2 != b+0 when ... != ... is true |
877893
| test.cpp:284:6:284:11 | ... != ... | 2 == b+0 when ... != ... is false |
878894
| test.cpp:284:6:284:11 | ... != ... | ... != ... != 0 when ... != ... is true |
@@ -883,3 +899,7 @@
883899
| test.cpp:284:6:284:11 | ... != ... | b != 2+0 when ... != ... is true |
884900
| test.cpp:284:6:284:11 | ... != ... | b == 2 when ... != ... is false |
885901
| test.cpp:284:6:284:11 | ... != ... | b == 2+0 when ... != ... is false |
902+
| test.cpp:284:6:284:11 | ... != ... | m != n+0 when ... != ... is false |
903+
| test.cpp:284:6:284:11 | ... != ... | m == n+0 when ... != ... is true |
904+
| test.cpp:284:6:284:11 | ... != ... | n != m+0 when ... != ... is false |
905+
| test.cpp:284:6:284:11 | ... != ... | n == m+0 when ... != ... is true |

‎cpp/ql/test/library-tests/controlflow/guards/GuardsEnsure.expected

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -323,14 +323,34 @@ binary
323323
| test.cpp:241:35:241:43 | ... == ... | test.cpp:241:17:241:17 | 0 | == | test.cpp:241:12:241:12 | i | 0 | test.cpp:241:46:242:13 | { ... } |
324324
| test.cpp:241:35:241:43 | ... == ... | test.cpp:241:38:241:38 | i | == | test.cpp:241:43:241:43 | 0 | 0 | test.cpp:241:46:242:13 | { ... } |
325325
| test.cpp:241:35:241:43 | ... == ... | test.cpp:241:43:241:43 | 0 | == | test.cpp:241:38:241:38 | i | 0 | test.cpp:241:46:242:13 | { ... } |
326+
| test.cpp:248:6:248:11 | ... != ... | test.cpp:247:11:247:11 | n | < | test.cpp:247:15:247:15 | m | 0 | test.cpp:250:10:252:3 | { ... } |
327+
| test.cpp:248:6:248:11 | ... != ... | test.cpp:247:11:247:11 | n | >= | test.cpp:247:15:247:15 | m | 0 | test.cpp:248:14:250:3 | { ... } |
328+
| test.cpp:248:6:248:11 | ... != ... | test.cpp:247:15:247:15 | m | < | test.cpp:247:11:247:11 | n | 1 | test.cpp:248:14:250:3 | { ... } |
329+
| test.cpp:248:6:248:11 | ... != ... | test.cpp:247:15:247:15 | m | >= | test.cpp:247:11:247:11 | n | 1 | test.cpp:250:10:252:3 | { ... } |
326330
| test.cpp:248:6:248:11 | ... != ... | test.cpp:248:6:248:6 | b | != | test.cpp:248:11:248:11 | 2 | 0 | test.cpp:248:14:250:3 | { ... } |
327331
| test.cpp:248:6:248:11 | ... != ... | test.cpp:248:6:248:6 | b | == | test.cpp:248:11:248:11 | 2 | 0 | test.cpp:250:10:252:3 | { ... } |
328332
| test.cpp:248:6:248:11 | ... != ... | test.cpp:248:11:248:11 | 2 | != | test.cpp:248:6:248:6 | b | 0 | test.cpp:248:14:250:3 | { ... } |
329333
| test.cpp:248:6:248:11 | ... != ... | test.cpp:248:11:248:11 | 2 | == | test.cpp:248:6:248:6 | b | 0 | test.cpp:250:10:252:3 | { ... } |
334+
| test.cpp:257:6:257:6 | b | test.cpp:256:11:256:11 | n | != | test.cpp:256:16:256:16 | m | 0 | test.cpp:259:10:261:3 | { ... } |
335+
| test.cpp:257:6:257:6 | b | test.cpp:256:11:256:11 | n | == | test.cpp:256:16:256:16 | m | 0 | test.cpp:257:9:259:3 | { ... } |
336+
| test.cpp:257:6:257:6 | b | test.cpp:256:16:256:16 | m | != | test.cpp:256:11:256:11 | n | 0 | test.cpp:259:10:261:3 | { ... } |
337+
| test.cpp:257:6:257:6 | b | test.cpp:256:16:256:16 | m | == | test.cpp:256:11:256:11 | n | 0 | test.cpp:257:9:259:3 | { ... } |
338+
| test.cpp:266:6:266:11 | ... != ... | test.cpp:265:11:265:11 | n | != | test.cpp:265:16:265:16 | m | 0 | test.cpp:266:14:268:3 | { ... } |
339+
| test.cpp:266:6:266:11 | ... != ... | test.cpp:265:11:265:11 | n | == | test.cpp:265:16:265:16 | m | 0 | test.cpp:268:10:270:3 | { ... } |
340+
| test.cpp:266:6:266:11 | ... != ... | test.cpp:265:16:265:16 | m | != | test.cpp:265:11:265:11 | n | 0 | test.cpp:266:14:268:3 | { ... } |
341+
| test.cpp:266:6:266:11 | ... != ... | test.cpp:265:16:265:16 | m | == | test.cpp:265:11:265:11 | n | 0 | test.cpp:268:10:270:3 | { ... } |
330342
| test.cpp:266:6:266:11 | ... != ... | test.cpp:266:6:266:6 | b | != | test.cpp:266:11:266:11 | 2 | 0 | test.cpp:266:14:268:3 | { ... } |
331343
| test.cpp:266:6:266:11 | ... != ... | test.cpp:266:6:266:6 | b | == | test.cpp:266:11:266:11 | 2 | 0 | test.cpp:268:10:270:3 | { ... } |
332344
| test.cpp:266:6:266:11 | ... != ... | test.cpp:266:11:266:11 | 2 | != | test.cpp:266:6:266:6 | b | 0 | test.cpp:266:14:268:3 | { ... } |
333345
| test.cpp:266:6:266:11 | ... != ... | test.cpp:266:11:266:11 | 2 | == | test.cpp:266:6:266:6 | b | 0 | test.cpp:268:10:270:3 | { ... } |
346+
| test.cpp:275:6:275:6 | b | test.cpp:274:11:274:11 | n | != | test.cpp:274:16:274:16 | m | 0 | test.cpp:275:9:277:3 | { ... } |
347+
| test.cpp:275:6:275:6 | b | test.cpp:274:11:274:11 | n | == | test.cpp:274:16:274:16 | m | 0 | test.cpp:277:10:279:3 | { ... } |
348+
| test.cpp:275:6:275:6 | b | test.cpp:274:16:274:16 | m | != | test.cpp:274:11:274:11 | n | 0 | test.cpp:275:9:277:3 | { ... } |
349+
| test.cpp:275:6:275:6 | b | test.cpp:274:16:274:16 | m | == | test.cpp:274:11:274:11 | n | 0 | test.cpp:277:10:279:3 | { ... } |
350+
| test.cpp:284:6:284:11 | ... != ... | test.cpp:283:11:283:11 | n | != | test.cpp:283:16:283:16 | m | 0 | test.cpp:286:10:288:3 | { ... } |
351+
| test.cpp:284:6:284:11 | ... != ... | test.cpp:283:11:283:11 | n | == | test.cpp:283:16:283:16 | m | 0 | test.cpp:284:14:286:3 | { ... } |
352+
| test.cpp:284:6:284:11 | ... != ... | test.cpp:283:16:283:16 | m | != | test.cpp:283:11:283:11 | n | 0 | test.cpp:286:10:288:3 | { ... } |
353+
| test.cpp:284:6:284:11 | ... != ... | test.cpp:283:16:283:16 | m | == | test.cpp:283:11:283:11 | n | 0 | test.cpp:284:14:286:3 | { ... } |
334354
| test.cpp:284:6:284:11 | ... != ... | test.cpp:284:6:284:6 | b | != | test.cpp:284:11:284:11 | 2 | 0 | test.cpp:284:14:286:3 | { ... } |
335355
| test.cpp:284:6:284:11 | ... != ... | test.cpp:284:6:284:6 | b | == | test.cpp:284:11:284:11 | 2 | 0 | test.cpp:286:10:288:3 | { ... } |
336356
| test.cpp:284:6:284:11 | ... != ... | test.cpp:284:11:284:11 | 2 | != | test.cpp:284:6:284:6 | b | 0 | test.cpp:284:14:286:3 | { ... } |

0 commit comments

Comments
 (0)
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy