Tools/collect_line_and_branch_coverage.py · ad2d8105e04998db5e66108c5994b2efc4d5236f · vadere / vadere · GitLab

6.10.2022: Due to updates GitLab may be unavailable for some minutes between 09:00 and 11:00.

Find file Blame History Permalink

Renamed "collect_coverage_data.py" to "collect_line_and_branch_coverage.py" and revised script. · c9a2acc0
Benedikt Kleinmeier authored Jul 16, 2018

c9a2acc0