2
3%
master: 3%

Ran 21 Oct 2016 02:06PM UTC

Files 124

Run time 5s

Badge

Committed 21 Oct 2016 01:10PM UTC coverage: 29.651% (-0.05%) from 29.699%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #306 from pymor/remove_localglobal

[parameters] remove global to local name mapping feature

Run Details

3441 of 11605 relevant lines covered (29.65%)

0.3 hits per line