5
65%
master: 65%

Ran 12 Jun 2020 07:57PM UTC

Files 444

Run time 1min

Badge

Committed 12 Jun 2020 07:43PM UTC coverage: 62.762% (+0.003%) from 62.759%

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] make sure to add libpoly variables for div, mod, etc.

fixes #231.

Run Details

69258 of 110350 relevant lines covered (62.76%)

1388281.52 hits per line