Interface CLIOptions

interface CLIOptions {
    allDetectors: boolean;
    colors: boolean;
    config: undefined | string;
    disabledDetectors: undefined | string[];
    enabledDetectors: undefined | string[];
    listDetectors: boolean;
    listTools: boolean;
    minSeverity: Severity;
    newDetector: undefined | string;
    outputFormat: OutputFormat;
    outputPath: string;
    quiet: boolean;
    souffleBinary: string;
    soufflePath: string;
    souffleVerbose: boolean;
    tactStdlibPath: undefined | string;
    tools: undefined | ToolConfig[];
    verbose: boolean;
}

Index

Properties

allDetectors colors config disabledDetectors enabledDetectors listDetectors listTools minSeverity newDetector outputFormat outputPath quiet souffleBinary soufflePath souffleVerbose tactStdlibPath tools verbose

Properties

allDetectors

allDetectors: boolean

colors

colors: boolean

config

config: undefined | string

disabledDetectors

disabledDetectors: undefined | string[]

enabledDetectors

enabledDetectors: undefined | string[]

listDetectors

listDetectors: boolean

listTools

listTools: boolean

minSeverity

minSeverity: Severity

newDetector

newDetector: undefined | string

outputFormat

outputFormat: OutputFormat

outputPath

outputPath: string

quiet

quiet: boolean

souffleBinary

souffleBinary: string

soufflePath

soufflePath: string

souffleVerbose

souffleVerbose: boolean

tactStdlibPath

tactStdlibPath: undefined | string

tools

tools: undefined | ToolConfig[]

verbose

verbose: boolean