95
96%
master: 96%

Ran 25 Jul 2016 06:32PM UTC

Jobs 3

Files 47

Run time 43s

Badge

Build # 95

Build Type

push

travis-ci

Committed by

Commit Message

Now uses standard clause selection heuristic

Run Details

2872 of 2998 relevant lines covered (95.8%)

4.61 hits per line

ID	Job ID	Ran	Files	Coverage
1	95.1	25 Jul 2016 06:33PM UTC	47	95.8	Travis Job 95.1
2	95.2	25 Jul 2016 06:32PM UTC	47	95.8	Travis Job 95.2
3	95.3	25 Jul 2016 06:33PM UTC	47	95.8	Travis Job 95.3

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line