5
65%
master: 65%

Ran 06 Jan 2021 12:13AM UTC

Files 470

Run time 1min

Badge

Committed 05 Jan 2021 08:37PM UTC coverage: 65.501% (+65.5%) from 0.0%

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] fix build

Run Details

75783 of 115697 relevant lines covered (65.5%)

1521720.74 hits per line