hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Bulk generator: Fix field name.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2025-05-30 13:25:12 +01:00
parent bdf411afbc
commit 3444c986ec
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/misc/bulk_generation_targets.json
View File

@@ -2,8 +2,8 @@
"strategy": "dca",
"language": "cpp",
"targets": [
{ "name": "openssl", "with_summaries": true },
{ "name": "sqlite", "with_summaries": true }
{ "name": "openssl", "with-summaries": true },
{ "name": "sqlite", "with-summaries": true }
],
"destination": "cpp/ql/lib/ext/generated"
}

6
misc/scripts/models-as-data/bulk_generate_mad.py
View File

@@ -47,15 +47,15 @@ class Project(TypedDict):
def shouldGenerateSinks(project: Project) -> bool:
return project.get("with_sinks", False)
return project.get("with-sinks", False)
def shouldGenerateSources(project: Project) -> bool:
return project.get("with_sources", False)
return project.get("with-sources", False)
def shouldGenerateSummaries(project: Project) -> bool:
return project.get("with_summaries", False)
return project.get("with-summaries", False)
def clone_project(project: Project) -> str: