1
91%
main: 100%

Ran 18 Sep 2023 03:39PM UTC

Files 7

Run time 0s

Badge

Committed 18 Sep 2023 03:39PM UTC coverage: 94.172% (-5.8%) from 100.0%

Build Type

github

Committed by Akshay

Commit Message

[#95] Add formal verification rules

Run Details

124 of 128 branches covered (0.0%)

Branch coverage included in aggregate %.

183 of 198 relevant lines covered (92.42%)

13.03 hits per line