2
56%
master: 56%

Ran 12 Jul 2021 06:15PM UTC

Files 216

Run time 1min

Badge

Committed 12 Jul 2021 05:53PM UTC coverage: 45.694% (+20.1%) from 25.581%

Build Type

push

travis-ci-com

Committed by

Commit Message

Merge pull request #685 from stanford-oval/wip/dynamic-synthesis

Make synthesis dynamic and pluggable

Run Details

6656 of 16767 branches covered (39.7%)

Branch coverage included in aggregate %.

16116 of 33069 relevant lines covered (48.73%)

477768.57 hits per line