Class MistiContext

Represents the context for a Misti run.

Index

Constructors

constructor

Properties

config logger singleContractPath souffleAvailable

Constructors

constructor

new MistiContext(tactPath, options): MistiContext
Initializes the context for Misti, setting up configuration and appropriate logger.
Parameters
- tactPath: string
- options: CLIOptions
Returns MistiContext
- Defined in internals/context.ts:20

Properties

config

config: MistiConfig

logger

logger: Logger

`Readonly`singleContractPath

singleContractPath: undefined | string

Path to a single Tact contract if executed without project config.

`Readonly`souffleAvailable

souffleAvailable: boolean

Indicates whether a Souffle binary is available.

Class MistiContext

Index

Constructors

Properties

Constructors

constructor

Parameters

Returns MistiContext

Properties

config

logger

`Readonly`singleContractPath

`Readonly`souffleAvailable

Settings

On This Page

Class MistiContext

Index

Constructors

Properties

Constructors

constructor

Parameters

Returns MistiContext

Properties

config

logger

ReadonlysingleContractPath

ReadonlysouffleAvailable

Settings

On This Page

`Readonly`singleContractPath

`Readonly`souffleAvailable