Skip to content
Formal Verification (Kani)

Wire dead test modules, add lending risk tests, and pin proxy stub behavior #170

Sign in to view logs

Wire dead test modules, add lending risk tests, and pin proxy stub behavior

Wire dead test modules, add lending risk tests, and pin proxy stub behavior #170

Run time

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