change code coverage#3137

RolandJentschETAS wants to merge 3 commits into

eclipse-score:maineclipse-score/score:mainfrom

etas-contrib:improvement_code_coverage_documentationetas-contrib/score_score:improvement_code_coverage_documentationCopy head branch name to clipboard