Skip to content
Formal Verification (Kani)

Expand test coverage: dex competitions/cross-chain, governance private voting, insurance triggers, staking penalties #193

Sign in to view logs

Expand test coverage: dex competitions/cross-chain, governance private voting, insurance triggers, staking penalties

Expand test coverage: dex competitions/cross-chain, governance private voting, insurance triggers, staking penalties #193

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run Kani Proofs
1m 28s
1m 28s