1
84%
master: 84%

Ran 06 Nov 2021 05:51AM UTC

Files 92

Run time 6s

Badge

Committed 06 Nov 2021 05:51AM UTC coverage: 84.13% (+0.07%) from 84.062%

Build Type

push

github

Committed by GitHub

Commit Message

🚜 Add minimal RateModel formal verification (#1103)

Run Details

1303 of 1614 branches covered (80.73%)

Branch coverage included in aggregate %.

2991 of 3490 relevant lines covered (85.7%)

3379.01 hits per line