Interface CLIOptions

interface CLIOptions {
    allDetectors?: boolean;
    config?: string;
    detectors?: string[];
    dumpAst?: boolean;
    dumpCfg?: "json" | "dot";
    dumpConfig?: boolean;
    dumpIncludeStdlib?: boolean;
    dumpOutput?: string;
    quiet?: boolean;
    souffleBinary?: string;
    soufflePath?: string;
    souffleVerbose?: boolean;
    tactStdlibPath?: string;
    verbose?: boolean;
}

Properties

allDetectors? config? detectors? dumpAst? dumpCfg? dumpConfig? dumpIncludeStdlib? dumpOutput? quiet? souffleBinary? soufflePath? souffleVerbose? tactStdlibPath? verbose?

Properties

OptionalallDetectors

allDetectors?: boolean

Optionalconfig

config?: string

Optionaldetectors

detectors?: string[]

OptionaldumpAst

dumpAst?: boolean

OptionaldumpCfg

dumpCfg?: "json" | "dot"

OptionaldumpConfig

dumpConfig?: boolean

OptionaldumpIncludeStdlib

dumpIncludeStdlib?: boolean

OptionaldumpOutput

dumpOutput?: string

Optionalquiet

quiet?: boolean

OptionalsouffleBinary

souffleBinary?: string

OptionalsoufflePath

soufflePath?: string

OptionalsouffleVerbose

souffleVerbose?: boolean

OptionaltactStdlibPath

tactStdlibPath?: string

Optionalverbose

verbose?: boolean

Settings

Member Visibility

On This Page

Properties