goblint / analyzer / 3771
65%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 302
Run time 1min
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: 61.432% (-0.02%) from 61.455%
3771

push

github

sim642 
Remove SKIP from passing 45-escape/07-local-in-global-after-create (PR #1078)

The test was added in df407b1ac, but already fixed in following commit 9143b2a3d.
It was just forgotten to remove the SKIP.

20941 of 34088 relevant lines covered (61.43%)

404814.95 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
22
4.65
 0.0% src/analyses/tutorials/taint.ml
73
60.15
 0.3% src/witness/yamlWitness.ml
171
26.42
 0.7% src/witness/yamlWitnessType.ml
Jobs
ID Job ID Ran Files Coverage
1 3771.1 302
61.43
 GitHub Action Run
Source Files on build 3771