import rust
import utils.modelgenerator.internal.CaptureModels
import SourceModels
import utils.test.InlineMadTest
import codeql.rust.dataflow.internal.ModelsAsData

module InlineMadTestConfig implements InlineMadTestConfigSig {
  string getCapturedModel(Function c) {
    exists(QualifiedCallable qc | c = qc.getFunction() | result = Heuristic::captureSource(qc))
  }

  string getKind() { result = "source" }
}

import InlineMadTest<InlineMadTestConfig>