syntest-framework / syntest-core / 6025996564 / 8 – libraries/module

46%

main: 46%

push

github

feat: improved statement fraction (#362)

Currently, implicit branches (measured through the number of statements covered in a basic block) are incorporated in a way that clashes with the branch distance. With this PR, we change the structure of the objective value to the following format: XX.YYZZZZ

Where:
XX is the approach level
YY is the fraction of uncovered statements within a block
ZZZZ is the branch distance

Originally the distance was structured without the YY part (XX.ZZZZ)

2 of 2 branches covered (100.0%)

Branch coverage included in aggregate %.

6 of 7 relevant lines covered (85.71%)

0.86 hits per line