Class MistiContext

Represents the context for a Misti run.

Index

Constructors

Properties

config logger souffleAvailable

Constructors

constructor

new MistiContext(options?): MistiContext
Initializes the context for Misti, setting up configuration and appropriate logger.
Parameters
- options: CLIOptions = cliOptionDefaults
Returns MistiContext
- Defined in src/internals/context.ts:22

Properties

config

config: MistiConfig

logger

logger: Logger

`Readonly`souffleAvailable

souffleAvailable: boolean

Indicates whether a Souffle binary is available.