File tree 2 files changed +2
-2
lines changed
rust/ql/test/utils-tests/modelgenerator 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -3,7 +3,7 @@ import utils.modelgenerator.internal.CaptureModels
3
3
import utils.test.InlineMadTest
4
4
5
5
module InlineMadTestConfig implements InlineMadTestConfigSig {
6
- string getCapturedModel ( Function f ) { result = captureSink ( f ) }
6
+ string getCapturedModel ( Function f ) { result = Heuristic :: captureSink ( f ) }
7
7
8
8
string getKind ( ) { result = "sink" }
9
9
}
Original file line number Diff line number Diff line change @@ -4,7 +4,7 @@ import utils.test.InlineMadTest
4
4
import codeql.rust.dataflow.internal.ModelsAsData
5
5
6
6
module InlineMadTestConfig implements InlineMadTestConfigSig {
7
- string getCapturedModel ( Function c ) { result = captureSource ( c ) }
7
+ string getCapturedModel ( Function c ) { result = Heuristic :: captureSource ( c ) }
8
8
9
9
string getKind ( ) { result = "source" }
10
10
}
You can’t perform that action at this time.
0 commit comments