add test which verifies that delegated shares are added to the correc… #1342
certora-prover.yml
on: pull_request
list-scripts
7s
Matrix: verify
Annotations
1 error and 10 warnings