Skip to content

Commit 5004a5f

Browse files
committed
Fix failing external model tests
1 parent 09e6205 commit 5004a5f

File tree

3 files changed

+3
-0
lines changed

3 files changed

+3
-0
lines changed

java/ql/test/library-tests/dataflow/external-models/sinks.expected

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
invalidModelRow
2+
| Dubious name "getPlatformTypeUpperBound$kotlin_stdlib" in summary model. |
23
#select
34
| B.java:6:11:6:14 | arg1 | qltest |
45
| B.java:9:5:9:33 | this <.method> | qltest-arg |

java/ql/test/library-tests/dataflow/external-models/srcs.expected

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
invalidModelRow
2+
| Dubious name "getPlatformTypeUpperBound$kotlin_stdlib" in summary model. |
23
#select
34
| A.java:6:9:6:14 | src1(...) | qltest |
45
| A.java:6:9:6:14 | src1(...) | qltest-all-overloads |

java/ql/test/library-tests/dataflow/external-models/steps.expected

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
invalidModelRow
2+
| Dubious name "getPlatformTypeUpperBound$kotlin_stdlib" in summary model. |
23
#select
34
| C.java:6:16:6:19 | arg1 | C.java:6:5:6:20 | stepArgRes(...) |
45
| C.java:10:16:10:21 | argIn1 | C.java:10:24:10:30 | argOut1 [post update] |

0 commit comments

Comments
 (0)