2
98%
master: 98%

Ran 13 Oct 2017 08:53AM UTC

Files 33

Run time 1s

Badge

Committed 11 Oct 2017 07:56AM UTC coverage: 99.165% (-0.2%) from 99.35%

Job # 632.2

Build Type

push

travis-ci

Committed by

Commit Message

Fix definition of tracenorm.

Remove factor 1/2 from the trace norm definition and add this factor to
the definition of the trace distance.

Run Details

2137 of 2155 relevant lines covered (99.16%)

310843.96 hits per line