Troubleshooting

Unable to run `certoraRun`

If you are unable to run certoraRun, we recommend trying it from within a venv.

First, create a venv and make sure you are inside the venv by running the following:

cd meridian2024-workshop
python3 -m venv .venv
source .venv/bin/activate

Then, install all required packages like so:
```
pip3 install -r requirements.txt
```
Finally, try running certoraRun again:
```
certoraRun confs/setup.conf
```

Build step of `certoraRun` is failing

When you execute certoraRun, the project is internally build using cargo build. This step requires a successful build. In case certoraRun fails on the build step, first try to compile the project by running cargo build --release --target wasm32-unknown-unknown and resolve all compiler errors that you see.

Compiler Error: “error: linking with `cc` failed: exit status: 1” on Mac

If you are running on Mac and the build step of your project or certoraRun fails with the warning:

"error: linking with \`cc\` failed: exit status: 1"

then check out the following StackOverflow post.