5
65%
master: 65%

Ran 01 May 2020 08:21PM UTC

Files 444

Run time 39s

Badge

Committed 01 May 2020 08:02PM UTC coverage: 62.752% (+0.06%) from 62.693%

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] regressions for #203 and #204

fixed in libpoly https://github.com/SRI-CSL/libpoly/commit/9df3817b5

Run Details

68952 of 109880 relevant lines covered (62.75%)

1396839.89 hits per line