tool
package
tool
Type Members
-
case class
AnalysisConfig(computeR: Boolean = false, checkR: Boolean = false, computeMinCard: Boolean = false, checkMinCard: Boolean = false, checkMonotony: Boolean = false, computeMCSUntil: Option[Int] = scala.None) extends Config with Product with Serializable
-
sealed
trait
Config extends AnyRef
-
case class
ExplorationConfig(explore: Boolean = false, mincard: Option[Int] = scala.None, minR: Option[BigDecimal] = scala.None, time: Option[Int] = scala.None) extends Config with Product with Serializable
-
case class
ExportConfig(exportSMV: Option[File] = scala.None, exportHipHops: Option[File] = scala.None, exportXFTA: Option[File] = scala.None, exportCG: Option[File] = scala.None, exportSTMDD: Option[File] = scala.None, printDot: Option[File] = scala.None, exportRSage: Option[File] = scala.None) extends Config with Product with Serializable
-
case class
PerfConfig(timeout: Option[FiniteDuration] = scala.None, XFTAPath: Option[Path] = scala.None, XSAPath: Option[Path] = scala.None, HIPHOPSPath: Option[Path] = scala.None, WINEPath: Option[Path] = scala.None, CLASPPath: Option[Path] = scala.None, runDSEPerf: Boolean = false, runCutPerf: Boolean = false, runSTMDDPerf: Boolean = false) extends Product with Serializable
-
case class
RunConfig(confName: Option[String] = scala.None, systemFiles: List[File] = immutable.this.Nil, gui: Boolean = false, perfConf: PerfConfig = ..., anaConf: AnalysisConfig = ..., expConf: ExplorationConfig = ..., exportConf: ExportConfig = ...) extends Config with Product with Serializable