1
82%
master: 82%

Ran 23 Oct 2018 01:25AM UTC

Files 18

Run time 2s

Badge

Committed 23 Oct 2018 01:25AM UTC coverage: 82.373% (-1.8%) from 84.192%

Job # 456.1

Build Type

push

circle-ci

Committed by John Sekar

Commit Message

Generating attr queries from bool_cmp and num_cmp expressions

Run Details

454 of 606 branches covered (74.92%)

Branch coverage included in aggregate %.

1261 of 1476 relevant lines covered (85.43%)

0.85 hits per line