3
56%
master: 56%

Ran 15 Jul 2021 10:46PM UTC

Files 202

Run time 34s

Badge

Committed 15 Jul 2021 10:42PM UTC coverage: 33.32% (-12.3%) from 45.656%

Build Type

push

travis-ci-com

Committed by

Commit Message

Merge pull request #694 from stanford-oval/wip/fix-gen

Two bug fixes for synthesis

Run Details

4230 of 16146 branches covered (26.2%)

Branch coverage included in aggregate %.

11773 of 31882 relevant lines covered (36.93%)

15839.54 hits per line