push
github
1787 of 3283 branches covered (54.43%)
Branch coverage included in aggregate %.
4681 of 7541 relevant lines covered (62.07%)
2.71 hits per line
The file "com/devonfw/tools/ide/property/Property.java" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.