1
82%
master: 82%

Ran 25 Jun 2021 08:18PM UTC

Files 22

Run time 5s

Badge

Committed 25 Jun 2021 08:18PM UTC coverage: 81.877% (+0.3%) from 81.547%

Build Type

push

circle-ci

Committed by John Sekar

Commit Message

Counting symmetries using orbit stabilizer theorem

Run Details

668 of 881 branches covered (75.82%)

Branch coverage included in aggregate %.

1591 of 1878 relevant lines covered (84.72%)

0.85 hits per line