import java
import utils.modelgenerator.internal.CaptureModels
import utils.test.InlineMadTest

module InlineMadTestConfig implements InlineMadTestConfigSig {
  string getCapturedModel(Callable c) { result = captureSink(c) }

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

import InlineMadTest<InlineMadTestConfig>