0

I am on a Mac and want to install and use Vertigo (software tool for mutation testing Solidity smart contracts).

I follow the installation instructions here: https://pypi.org/project/eth-vertigo/

And install Vertigo with:

> pip3 install eth-vertigo

Then, I run:

> vertigo
zsh: command not found: vertigo

There seems to be a missing step in the instructions (in my case)!

Jesper - jtk.eth
  • 7,026
  • 11
  • 36
  • 63

1 Answers1

1

When you install Vertigo with pip3 it tells you the path, e.g.:

/some/path/.local/lib/python3.9/site-packages/

Look in the output, on the command line, from the installation.

Then, the vertigo binary file (which we thought would execute natively) is located here:

/some/path/.local/bin/vertigo

So, to make this work, please add the bin/ path to your PATH variable like so:

> export PATH="${PATH}:/some/path/.local/bin/"

Now it should work:

> vertigo
Usage: vertigo [OPTIONS] COMMAND [ARGS]...

  Mutation testing framework for smart contracts

Options:
  --help  Show this message and exit.

Commands:
  run  Performs a core test campaign

Perhaps this is related to it not installing properly in virtual environments.

Jesper - jtk.eth
  • 7,026
  • 11
  • 36
  • 63