Implemented branch coverage tool for addDotIfAbbrevation()#5951

Closed

christinerosquist wants to merge 3 commits intoJabRef:masterfrom simonsirak:addDotIfAbbreviation

+78-1

Commits on Feb 13, 2020

Added branch coverage to addDotIfAbbreviation
christinerosquist
committed

Commits on Feb 15, 2020

Updated directory to store branch coverage info
christinerosquist
committed

Commits on Feb 16, 2020

Small fix in branch coverage tool
christinerosquist
committed