Shared: Make the summary, source and sink model generation a parameterized module.

Browse Source

...

This commit is contained in:

Michael Nebel

2025-04-24 16:12:01 +02:00

parent b5c596b2ce

commit bb6530fcf8

1 changed files with 893 additions and 828 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

1721

shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll

File diff suppressed because it is too large Load Diff