Versions Compared

Key

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

...

Otherwise, you should have received a personal premium key from the Certora team. Before running the Prover in the premium version, you should register the premium key as a system’s system variable.

To do that so on macOS or Linux machines, execute the following command on the terminal:

Code Block
languagebash
export CERTORAKEY=<premium_key>

...

Expand
titlemacOS
  • Open a terminal and make sure you’re in the home directory:

    Code Block
    languagebash
    cd ~
  • Create a file with the name .zshenv and open it with your favorite text editor:

    Code Block
    nano .zshenv
  • Write the export command from the beginning of step 3, save and quit (ctrl+x on nano).

  • You can make sure that the file was created correctly by seeing it listed on the directory or by opening it again with the text editor:

    Code Block
    ls -a

    OR

    Code Block
    nano .zshenv
  • Make sure to apply the environment variable you’ve just created by executing the script:

    Code Block
    languagebash
    source .zshenv

...

Expand
titleWindows
Note

The following instructions are for Windows 11; For for other versions of Windows the instructions might slightly differ.

  • Press the “Windows key” "Windows key" + x to access the Power User Task Menu.

  • In the Power User Task Menu, select the System option.

  • In the System window, scroll to the bottom and click the About option.

  • In the System > About window, click the Advanced system settings link at the bottom of the Device specifications section.

  • In the System Properties window, click the Advanced tab, then click the Environment Variables button near the bottom of that tab.

  • In the Environment Variables window, highlight the Path variable in the System variables section and click the Edit button.

  • Add the full path to the directory that contains the solc executables, e.g.:

    Code Block
    languagebash
    C:\full\path\to\solc\executable\folder
  • Quit and reopen all opened terminals for the change to take effect in the terminals.

  • You can check that the variable was set correctly by running the following in the cmd terminal:

    Code Block
    languagebash
    echo %PATH%

...