Shared: Simplify PrettyPrintModels.ql

This commit is contained in:
Tom Hvitved
2024-09-20 09:25:24 +02:00
parent c5d699cb6b
commit b111194fbc
4 changed files with 1 additions and 13 deletions

View File

@@ -5,7 +5,3 @@
import semmle.code.csharp.dataflow.internal.ExternalFlow
import codeql.dataflow.test.ProvenancePathGraph
import codeql.dataflow.test.ProvenancePathGraph::TestPostProcessing::TranslateProvenanceResults<interpretModelForTest/2>
from string relation, int row, int column, string data
where results(relation, row, column, data)
select relation, row, column, data

View File

@@ -4,7 +4,3 @@
import semmle.go.dataflow.ExternalFlow
import codeql.dataflow.test.ProvenancePathGraph::TestPostProcessing::TranslateProvenanceResults<interpretModelForTest/2>
from string relation, int row, int column, string data
where results(relation, row, column, data)
select relation, row, column, data

View File

@@ -4,7 +4,3 @@
import semmle.code.java.dataflow.ExternalFlow
import codeql.dataflow.test.ProvenancePathGraph::TestPostProcessing::TranslateProvenanceResults<interpretModelForTest/2>
from string relation, int row, int column, string data
where results(relation, row, column, data)
select relation, row, column, data

View File

@@ -113,7 +113,7 @@ module TestPostProcessing {
)
}
predicate results(string relation, int row, int column, string data) {
query predicate results(string relation, int row, int column, string data) {
queryResults(relation, row, column, data) and
(relation != "edges" or column != provenanceColumn())
or