TesslacRustConfig
de.uni_luebeck.isp.tessla.CLIParser$.TesslacRustConfig
case class TesslacRustConfig(specSource: CharStream, exportBinary: Option[Path], exportWorkspace: Option[Path], generateMain: Boolean, additionalSource: String, compilerOptions: Options) extends Config
Attributes
- Graph
- Supertypes