1
82%
master: 82%

Ran 25 Oct 2018 05:39PM UTC

Files 18

Run time 2s

Badge

Committed 25 Oct 2018 05:39PM UTC coverage: 83.107% (+0.8%) from 82.3%

Job # 467.1

Build Type

push

circle-ci

Committed by John Sekar

Commit Message

Token passing check: automorphism (1-edge)

Run Details

507 of 658 branches covered (77.05%)

Branch coverage included in aggregate %.

1392 of 1627 relevant lines covered (85.56%)

0.86 hits per line