cli-common/hu.bme.mit.semantifyr.cli.common.options

Package-level declarations

Types

ArtifactOptionGroup

class ArtifactOptionGroup : OptionGroup

enum ArtifactPreset : Enum<ArtifactPreset>

BackendOptionGroup

class BackendOptionGroup(portfolios: () -> List<VerificationPortfolio>) : OptionGroup

CompilationOptionGroup

class CompilationOptionGroup : OptionGroup

OptimizationPreset

enum OptimizationPreset : Enum<OptimizationPreset>

enum ThetaExecutor : Enum<ThetaExecutor>

VerificationCaseSpecificationOptionGroup

class VerificationCaseSpecificationOptionGroup(verificationCaseDiscoverer: VerificationCaseDiscoverer) : OptionGroup