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