3
56%
master: 56%

Ran 12 Jul 2021 05:57PM UTC

Files 202

Run time 33s

Badge

Committed 12 Jul 2021 05:53PM UTC coverage: 33.299% (+7.7%) 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

4217 of 16122 branches covered (26.16%)

Branch coverage included in aggregate %.

11761 of 31861 relevant lines covered (36.91%)

15856.69 hits per line