2
94%
main: 94%

Ran 11 Aug 2023 12:26PM UTC

Files 42

Run time 1s

Badge

Committed 11 Aug 2023 12:24PM UTC coverage: 93.191% (+1.4%) from 91.829%

Build Type

push

github

Committed by

Commit Message

Merge pull request #632 from safe-global/certoraOwnerReach

Formal verification: Add rules for owners

Run Details

159 of 174 branches covered (91.38%)

Branch coverage included in aggregate %.

320 of 340 relevant lines covered (94.12%)

56.04 hits per line