Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 992ee2f

Browse files
committed
Python points-to: Fix up some test results.
1 parent 2db0bd9 commit 992ee2f

4 files changed

Lines changed: 62 additions & 172 deletions

File tree

python/ql/test/library-tests/PointsTo/new/PointsToUnknown.expected

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -130,6 +130,7 @@
130130
| c_tests.py:32 | ControlFlowNode for unknown | 32 |
131131
| c_tests.py:32 | ControlFlowNode for unknown() | 32 |
132132
| c_tests.py:32 | ControlFlowNode for y | 4 |
133+
| c_tests.py:34 | ControlFlowNode for Attribute | 32 |
133134
| c_tests.py:34 | ControlFlowNode for Attribute | 34 |
134135
| c_tests.py:34 | ControlFlowNode for y | 4 |
135136
| c_tests.py:37 | ControlFlowNode for cond | 37 |
@@ -198,7 +199,9 @@
198199
| h_classes.py:17 | ControlFlowNode for arg | 14 |
199200
| h_classes.py:18 | ControlFlowNode for name | 18 |
200201
| h_classes.py:26 | ControlFlowNode for choice | 25 |
202+
| h_classes.py:26 | ControlFlowNode for choice | 42 |
201203
| h_classes.py:28 | ControlFlowNode for choice | 25 |
204+
| h_classes.py:28 | ControlFlowNode for choice | 42 |
202205
| h_classes.py:42 | ControlFlowNode for unknown | 42 |
203206
| h_classes.py:42 | ControlFlowNode for unknown() | 42 |
204207
| r_regressions.py:9 | ControlFlowNode for Attribute | 9 |

0 commit comments

Comments
 (0)