Skip to content
checkrules

Cantina 196: Malicious controllers make EVC compatible tokens intrinsically susceptible to reentrancy #10

Sign in to view logs

Cantina 196: Malicious controllers make EVC compatible tokens intrinsically susceptible to reentrancy

Cantina 196: Malicious controllers make EVC compatible tokens intrinsically susceptible to reentrancy #10

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run Certora prover on all configs
48s
48s