1
90%
master: 90%

Ran 09 Nov 2018 12:24PM UTC

Files 112

Run time 50s

Badge

Committed 09 Nov 2018 12:18PM UTC coverage: 86.844% (-1.2%) from 88.081%

Job # 667.1

Build Type

push

travis-ci

Committed by

Commit Message

latex code for benchmarks (GUI feature)

Run Details

1441 of 1874 branches covered (76.89%)

Branch coverage included in aggregate %.

5299 of 5887 relevant lines covered (90.01%)

0.9 hits per line