Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit b4efd0e

Browse files
michaelnebelmichaelnebel
committed
C#: Make sure that the shared CaptureSummaryModel is in sync.
1 parent 4ae5dc3 commit b4efd0e

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

‎config/identical-files.json‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -83,6 +83,10 @@
8383
"java/ql/src/utils/model-generator/CaptureSummaryModels.qll",
8484
"csharp/ql/src/utils/model-generator/CaptureSummaryModels.qll"
8585
],
86+
"Model as Data Generation Java/C# - SourceModels": [
87+
"java/ql/src/utils/model-generator/CaptureSourceModels.qll",
88+
"csharp/ql/src/utils/model-generator/CaptureSourceModels.qll"
89+
],
8690
"Sign Java/C#": [
8791
"java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/Sign.qll",
8892
"csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/Sign.qll"

0 commit comments

Comments
 (0)