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

Add missing blank line

Browse Source
This commit is contained in:
Felicity Chapman
2023-09-15 18:16:38 +01:00
parent c91029395d
commit d5c79d4eee
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
docs/codeql/codeql-language-guides/extensible-predicates.rst
View File

@@ -173,6 +173,7 @@ And `VERIFICATION` is one of:
- ``manual``: The model was verified by a human.
- ``generated``: The model was generated, but not verified by a human.
The provenance is used to distinguish between models that are manually added (or verified) to the extensible predicate and models that are automatically generated.
Furthermore, it impacts the dataflow analysis in the following way: