Skip to content

Certora squashed

Certora squashed #32

Annotations

2 errors

verify (NEW-pool-simple-properties.conf --rule cannotWithdrawZeroAmount --msg "cannotWithdrawZero...

cancelled Sep 9, 2024 in 2m 17s