mirror of
https://github.com/github/codeql.git
synced 2026-04-08 16:44:04 +02:00
13 lines
355 B
Plaintext
13 lines
355 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>
|