mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
13 lines
339 B
Plaintext
13 lines
339 B
Plaintext
import csharp
|
|
import utils.modelgenerator.internal.CaptureModels
|
|
import SummaryModels
|
|
import utils.test.InlineMadTest
|
|
|
|
module InlineMadTestConfig implements InlineMadTestConfigSig {
|
|
string getCapturedModel(Callable c) { result = captureNeutral(c) }
|
|
|
|
string getKind() { result = "neutral" }
|
|
}
|
|
|
|
import InlineMadTest<InlineMadTestConfig>
|