Files
codeql/csharp/ql/test/utils/modelgenerator/dataflow/CaptureSummaryModels.ql

12 lines
315 B
Plaintext

import csharp
import utils.modelgenerator.internal.CaptureModels
import utils.test.InlineMadTest
module InlineMadTestConfig implements InlineMadTestConfigSig {
string getCapturedModel(Callable c) { result = captureFlow(c) }
string getKind() { result = "summary" }
}
import InlineMadTest<InlineMadTestConfig>