Version: 0.31.0

mutate ast


ligo mutate ast SOURCE_FILE [OPTION]...


This sub-command returns a mutated version for a given file. It does not use the build system.



SOURCE_FILE is the path to the smart contract file.


-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).


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

-l --lib <LIBRARY>

A list of path to a directory containing included files, separated by ','


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.

--seed <SEED>

Is the seed or counter used for generation.

-g --generator <GENERATOR>

Is the generator for mutation.