2
84%
master: 84%

Ran 27 Feb 2018 07:43AM UTC

Files 47

Run time 2s

Badge

Committed 27 Feb 2018 07:34AM UTC coverage: 84.675% (-0.01%) from 84.688%

Build Type

push

travis-ci

Committed by

Commit Message

MIX can now be used with parametric FODs with SMT models

Run Details

703 of 919 branches covered (76.5%)

Branch coverage included in aggregate %.

3325 of 3838 relevant lines covered (86.63%)

0.87 hits per line