# Page Comparison

## Key

• 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
language bash
export CERTORAKEY=<premium_key>

...

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

Code Block
language bash
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
language bash
source .zshenv

...

Expand
title Windows
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 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
language bash
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
language bash
echo %PATH%

...