Merge pull request #19408 from michaelnebel/debug/removemodelgentag

C#/Java/Rust: Change the tag for the model generator debugging queries.
This commit is contained in:
Michael Nebel
2025-04-29 15:21:18 +02:00
committed by GitHub
6 changed files with 6 additions and 6 deletions

View File

@@ -5,7 +5,7 @@
* @precision low
* @id csharp/utils/modelgenerator/summary-models-partial-path
* @severity info
* @tags modelgenerator
* @tags debugmodelgenerator
*/
import csharp

View File

@@ -5,7 +5,7 @@
* @precision low
* @id csharp/utils/modelgenerator/summary-models-path
* @severity warning
* @tags modelgenerator
* @tags debugmodelgenerator
*/
import csharp

View File

@@ -5,7 +5,7 @@
* @precision low
* @id java/utils/modelgenerator/summary-models-partial-path
* @severity info
* @tags modelgenerator
* @tags debugmodelgenerator
*/
import java

View File

@@ -5,7 +5,7 @@
* @precision low
* @id java/utils/modelgenerator/summary-models-path
* @severity warning
* @tags modelgenerator
* @tags debugmodelgenerator
*/
import java

View File

@@ -5,7 +5,7 @@
* @precision low
* @id rust/utils/modelgenerator/summary-models-partial-path
* @severity info
* @tags modelgenerator
* @tags debugmodelgenerator
*/
private import codeql.rust.dataflow.DataFlow

View File

@@ -5,7 +5,7 @@
* @precision low
* @id rust/utils/modelgenerator/summary-models-path
* @severity warning
* @tags modelgenerator
* @tags debugmodelgenerator
*/
private import codeql.rust.dataflow.DataFlow