1
84%
master: 84%

Ran 07 Nov 2021 05:49AM UTC

Files 92

Run time 5s

Badge

Committed 07 Nov 2021 05:49AM UTC coverage: 81.838% (-2.3%) from 84.13%

Build Type

push

github

Committed by GitHub

Commit Message

🚜 Add minimal RateModel formal verification (#1103)

Run Details

1281 of 1614 branches covered (79.37%)

Branch coverage included in aggregate %.

2896 of 3490 relevant lines covered (82.98%)

3362.09 hits per line