Merge branch 'develop'
include coverage badge
Merge branch 'develop'
Merge branch 'develop' into experiment/symbolic