Class MistiConfig

Represents content of the Misti configuration file (misti.config.json).

Index

Constructors

Properties

detectors ignoredProjects soufflePath souffleVerbose? tactStdlibPath? unusedPrefix verbosity

Constructors

constructor

new MistiConfig(params?): MistiConfig
Parameters
- params: Partial<{
      allDetectors: boolean;
      configPath?: string;
      detectors?: string[];
  }> = {}
Returns MistiConfig
- Defined in internals/config.ts:40

Properties

detectors

detectors: DetectorConfig[]

ignoredProjects

ignoredProjects: string[]

soufflePath

soufflePath: string = "/tmp/misti/souffle"

`Optional`souffleVerbose

souffleVerbose?: boolean

`Optional`tactStdlibPath

tactStdlibPath?: string

unusedPrefix

unusedPrefix: string

verbosity

verbosity: "quiet" | "debug" | "default"