3
36%
master: 36%

Ran 27 Nov 2020 10:25PM UTC

Files 1891

Run time 2min

Badge

Committed 29 Oct 2020 03:17PM UTC coverage: 37.616%. Remained the same

Build Type

cron

travis-ci

Committed by

Commit Message

Update README.md

Add instructions for installing SMT solvers through scripts in contrib.

Run Details

6274 of 16679 relevant lines covered (37.62%)

17931.81 hits per line