Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Expand
titleWindows

So far we haven’t encountered any warnings at installation that's needed to be resolved to use the tool freely, however it doesn’t mean that you won’t encounter one.

If you do encounter a warning try the following solutions in descending order:

  • Follow the warning’s instructions.

  • If you do not understand the warning and don’t know how to fix it, try to compare it to the warning of the other OS and follow their instructions.

    • The warnings in the other OS suggest to add the installation folder to the PATH.

    • To get the location of the certora-cli installation re-execute on cmd:

      Code Block
      languagebash
      pip install certora-cli
  • Contact the Certora team.

Please also share the warning with us so we could write a walkthrough for fixing it.

...