syntest-framework / syntest-core / 5348265613
46%

DEFAULT BRANCH: main
Ran
Jobs 12
Files 47
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
5348265613

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.

189 of 457 branches covered (41.36%)

Branch coverage included in aggregate %.

733 of 1373 relevant lines covered (53.39%)

626.51 hits per line

Subprojects
ID Flag name Job ID Ran Files Coverage
1 libraries/metric 5348265613.1 0
7.84
 GitHub Action Run
2 libraries/cli-graphics 5348265613.2 0
23.29
 GitHub Action Run
3 tools/init 5348265613.3 0
29.63
 GitHub Action Run
4 libraries/analysis 5348265613.4 0
26.39
 GitHub Action Run
5 plugins/plugin-core-metric-middleware-file-writer 5348265613.5 0
12.33
 GitHub Action Run
6 libraries/cfg 5348265613.6 0
80.95
 GitHub Action Run
7 plugins/plugin-core-event-listener-graphing 5348265613.7 0
82.5
 GitHub Action Run
8 libraries/search 5348265613.8 0
57.28
 GitHub Action Run
9 libraries/module 5348265613.9 0
88.89
 GitHub Action Run
10 tools/base-language 5348265613.10 0
57.89
 GitHub Action Run
11 libraries/logging 5348265613.11 0
47.83
 GitHub Action Run
12 plugins/plugin-core-search-algorithm-sfuzz 5348265613.12 0
25.93
 GitHub Action Run
Source Files on build 5348265613
Detailed source file information is not available for this build.