hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Remove failing non-inline test

Browse Source 
It is subsumed by `tracked.ql` anyway.
This commit is contained in:
Taus Brock-Nannestad
2020-08-28 21:21:29 +02:00
parent 5d853e840a
commit 7108d28395
2 changed files with 0 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
python/ql/test/experimental/dataflow/typetracking/TypeTracking.expected
View File

@@ -1,6 +0,0 @@
| test.py:1:1:1:18 | Exit node for Function get_tracked | type tracker without call steps |
| test.py:2:9:2:15 | ControlFlowNode for tracked | type tracker without call steps |
| test.py:3:12:3:12 | ControlFlowNode for x | type tracker without call steps |
| test.py:16:9:16:15 | ControlFlowNode for tracked | type tracker without call steps |
| test.py:17:5:17:18 | SSA variable x | type tracker without call steps |
| test.py:17:17:17:17 | ControlFlowNode for x | type tracker without call steps |

13
python/ql/test/experimental/dataflow/typetracking/TypeTracking.ql
View File

@@ -1,13 +0,0 @@
import python
import experimental.dataflow.TypeTracker
Node tracked(TypeTracker t) {
t.start() and
result = TCfgNode(any(NameNode n | n.getId() = "tracked"))
or
exists(TypeTracker t2 | t = t2.step(tracked(t2), result))
}
from Node n, TypeTracker t
where n = tracked(t)
select n, t