We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent bcbae41 commit a9356f6Copy full SHA for a9356f6
README.md
@@ -81,10 +81,11 @@ wget https://github.com/Certora/certora-solana-platform-tools/releases/download/
81
sudo xattr -rd com.apple.quarantine $HOME/platform-tools-certora
82
```
83
3. cd `$HOME/.cache/solana/v1.41`
84
+
85
If this directory does not exist then you need to install first Solana platform-tools.
86
87
- cd $HOME.local/share/solana/install/active_release/bin/sdk/sbf
88
+ cd $HOME/.local/share/solana/install/active_release/bin/sdk/sbf
89
source env.sh
90
91
0 commit comments