4
91%
master: 91%

Ran 03 Mar 2019 02:34PM UTC

Files 26

Run time 8s

Badge

Committed 03 Mar 2019 02:27PM UTC coverage: 82.391% (+0.07%) from 82.319%

Job # 887.4

Build Type

push

travis-ci

Committed by

Commit Message

Multiplication of IntervalBox by a matrix (#253)

* Add multiplication of an IntervalBox by a matrix

* Missing end

* Fix testset

Run Details

1006 of 1221 relevant lines covered (82.39%)

3201.04 hits per line