syntest-framework / syntest-core / 6025996564 / 6 – libraries/cfg

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)

60 of 77 branches covered (0.0%)

Branch coverage included in aggregate %.

169 of 206 relevant lines covered (82.04%)

6.92 hits per line