10
56%
master: 56%

Ran 12 Jul 2021 06:39PM UTC

Files 296

Run time 4min

Badge

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

3882 of 20052 branches covered (19.36%)

Branch coverage included in aggregate %.

14589 of 40008 relevant lines covered (36.47%)

23394.13 hits per line