safe-global / safe-contracts / 5903793821 / 1

93%

main: 94%

Build Type

Pull #636

github

Committed by teryanarmen

Commit Message

add mySignatureSplit

Pull Request Pull Request #636: Formal verification: checkSignatures rule

Run Details

159 of 174 branches covered (91.38%)

Branch coverage included in aggregate %.

313 of 340 relevant lines covered (92.06%)

52.72 hits per line