Version: Next

run interpret

SYNOPSIS#

ligo run interpret EXPRESSION_EXPRESSION [OPTION]...

DESCRIPTION#

This sub-command interprets a LIGO expression. The context can be initialized by providing a source file. The interpretation is done using Michelson's interpreter.

ARGUMENTS#

EXPRESSION_EXPRESSION

The expression that will be compiled.

OPTIONS#

--init-file <INIT_FILE>

The path to the smart contract file to be used for context initialization.

-s --syntax <SYNTAX>

The syntax that will be used. Currently supported syntaxes are "pascaligo", "cameligo", "reasonligo" and "jsligo". By default, the syntax is guessed from the extension (.ligo, .mligo, .religo, and .jsligo respectively).

--infer

Enable type inference

-p --protocol <PROTOCOL_VERSION>

Choose protocol's types/values pre-loaded into the LIGO environment (edo). By default, the current protocol (edo) will be used

--amount <AMOUNT>

The tezos amount the Michelson interpreter will use for the transaction.

--balance <BALANCE>

The balance the Michelson interpreter will use for the contract balance.

--sender <SENDER>

The sender the Michelson interpreter transaction will use.

--source <SOURCE>

The source the Michelson interpreter transaction will use.

--now <NOW>

The NOW value the Michelson interpreter will use (e.g. '2000-01-01T10

--format <DISPLAY-FORMAT>

The format that will be used by the CLI. Available formats are 'dev', 'json', and 'human-readable' (default). When human-readable lacks details (we are still tweaking it), please contact us and use another format in the meanwhile.