Skip to content
GitLab

Fix coverage computation

Closed Max Wiesholler requested to merge 13-bug-in-computing-branch-coverage into master

Computation now considers whether condition of a branch always holds. This means that the condition has never been skipped and hence results in a local branch coverage of 50%.

Closes #13