syntest-framework / syntest-core / 5348265613 / 8 – libraries/search
46%
main: 46%

DEFAULT BRANCH: main
Ran
Files 24
Run time 1s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 57.276% (-0.6%) from 57.882%
libraries/search – 5348265613.8

push

github

web-flow 
feat: structural manager optimalization (#328)

Currently, when a new objective is covered that adds additional objectives (through the structural objective manager) these objectives are not evaluated until the next encoding.
This PR recursively evaluates these newly added objectives.

111 of 231 branches covered (48.05%)

Branch coverage included in aggregate %.

381 of 628 relevant lines covered (60.67%)

1285.11 hits per line

Source Files on job libraries/search - 5348265613.8