make totalOperatorsForQuorum work in the empty case #1279
certora-prover.yml
on: pull_request
list-scripts
4s
Matrix: verify
Annotations
2 errors and 9 warnings