5
65%
master: 65%

Ran 12 Oct 2020 06:44PM UTC

Files 469

Run time 4min

Badge

Committed 12 Oct 2020 06:30PM UTC coverage: 65.167% (+0.002%) from 65.165%

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] purify false since it's negation of true internally

fixes #317

Run Details

75201 of 115397 relevant lines covered (65.17%)

1428154.22 hits per line