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:
Open a terminal and make sure you’re in the home directory:
Create a file with the name
.zshenv and open it with your favorite text editor:
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:
Make sure to apply the environment variable you’ve just created by executing the script:
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.:
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: