9
56%
master: 56%

Ran 12 Jul 2021 06:29PM UTC

Files 289

Run time 2min

Badge

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

4403 of 19899 branches covered (22.13%)

Branch coverage included in aggregate %.

13775 of 39586 relevant lines covered (34.8%)

26545.0 hits per line