9
3%
master: 3%

Ran 13 Dec 2016 10:55AM UTC

Files 124

Run time 6s

Badge

Committed 13 Dec 2016 10:04AM UTC coverage: 72.931% (+0.5%) from 72.474%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #323 from pymor/new_vectorspaces

Improve VectorSpace concept

Run Details

8320 of 11408 relevant lines covered (72.93%)

0.73 hits per line