Troubleshooting

Unable to run `certoraSorobanProver`

If you are unable to run certoraSorobanProver, 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 projectDir
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:

certoraSorobanProver path/to/prover_config.conf

Build step of `certoraSorobanProver` is failing

When you execute certoraSorobanProver, the project is internally build using cargo build. This step requires a successful build. In case certoraSorobanProver 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.