Fix: restrict generated test cases to requested rows

smowton · smowton · commit eda7bb6aa285 · 2021-06-29T15:59:14.000+01:00
diff --git a/java/ql/src/utils/GenerateFlowTestCase.qll b/java/ql/src/utils/GenerateFlowTestCase.qll
@@ -172,6 +172,7 @@ newtype TTestCase =
       string namespace, string type, boolean subtypes, string name, string signature, string ext,
       string inputSpec, string outputSpec
     |
+      any(TargetSummaryModelCsv tsmc).row(row) and
       summaryModel(namespace, type, subtypes, name, signature, ext, inputSpec, outputSpec, kind, row) and
       callable = interpretElement(namespace, type, subtypes, name, signature, ext) and
       Private::External::interpretSpec(inputSpec, input) and

Original file line number	Diff line number	Diff line change
`@@ -172,6 +172,7 @@ newtype TTestCase =`
`172`	`172`	`string namespace, string type, boolean subtypes, string name, string signature, string ext,`
`173`	`173`	`string inputSpec, string outputSpec`
`174`	`174`	`\|`
	`175`	`+ any(TargetSummaryModelCsv tsmc).row(row) and`
`175`	`176`	`summaryModel(namespace, type, subtypes, name, signature, ext, inputSpec, outputSpec, kind, row) and`
`176`	`177`	`callable = interpretElement(namespace, type, subtypes, name, signature, ext) and`
`177`	`178`	`Private::External::interpretSpec(inputSpec, input) and`