Certora Formal Verification #15
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Certora Formal Verification | |
| on: | |
| schedule: | |
| - cron: "0 0 * * *" | |
| workflow_dispatch: | |
| env: | |
| SOLANA_VERSION: '1.18.16' | |
| jobs: | |
| verification: | |
| name: Formal Verification | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Setup python | |
| uses: actions/setup-python@v5 | |
| - name: Install certora CLI | |
| run: pip install certora-cli | |
| - name: Install solana | |
| run: | | |
| sh -c "$(curl -sSfL https://release.solana.com/v${{ env.SOLANA_VERSION }}/install)" | |
| export PATH="$HOME/.local/share/solana/install/active_release/bin:$PATH" | |
| echo "/home/runner/.local/share/solana/install/active_release/bin" >> $GITHUB_PATH | |
| - name: Install certora platform tools | |
| run: | | |
| mkdir $HOME/platform-tools-certora | |
| cd $HOME | |
| wget https://github.com/Certora/certora-solana-platform-tools/releases/download/linux-x86_64-ubuntu-20.04-10-22-2024/platform-tools-linux-x86_64.tar.bz2 | |
| tar -xvjf platform-tools-linux-x86_64.tar.bz2 -C $HOME/platform-tools-certora | |
| export PLATFORM_TOOLS_DIR=$HOME/.cache/solana/v1.41 | |
| echo "Moving to active releases" | |
| ls | |
| cd $HOME/.local/share/solana/install/active_release/bin/sdk/sbf | |
| echo "Inside active releases" | |
| ls | |
| source env.sh | |
| echo "Moving to cache" | |
| cd $HOME/.cache/solana/v1.41 | |
| ls | |
| mv $PLATFORM_TOOLS_DIR/platform-tools $PLATFORM_TOOLS_DIR/platform-tools.backup | |
| ln -sf $HOME/platform-tools-certora $PLATFORM_TOOLS_DIR/platform-tools | |
| - name: Install just | |
| uses: extractions/setup-just@v2 | |
| - name: Run formal verification | |
| run: | | |
| cd programs/manifest | |
| just build-sbf | |
| python3 verify-manifest.py -r rules.json | |
| python3 verify-manifest.py -r rules-rb-tree.json | |
| env: | |
| CERTORA: "" | |
| CERTORA_CLI: certoraRun | |
| CERTORAKEY: ${{ secrets.CERTORAKEY }} |