Ran
|
Jobs
2
|
Files
58
|
Run time
2min
|
Badge
Embed ▾
README BADGES
|
github
1069 of 1160 new or added lines in 39 files covered. (92.16%)
10 existing lines in 6 files now uncovered.8375 of 9270 relevant lines covered (90.35%)
12044869.14 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
70.67 |
-0.14% | src/asm_cfg.cpp |
1 |
93.14 |
0.0% | src/assertions.cpp |
1 |
0.0 |
0.0% | src/crab_utils/debug.cpp |
1 |
99.77 |
-0.01% | src/test/test_marshal.cpp |
2 |
39.24 |
0.0% | src/crab_utils/stats.cpp |
2 |
76.27 |
-0.18% | src/ebpf_yaml.cpp |
2 |
72.97 |
0.0% | src/linux/linux_platform.cpp |
3 |
52.5 |
0.0% | src/crab/bitset_domain.cpp |
3 |
97.64 |
-2.36% | src/crab/wto.cpp |
5 |
73.28 |
0.39% | src/crab/fwd_analyzer.cpp |
6 |
76.42 |
0.0% | src/crab/interval.cpp |
7 |
81.01 |
0.24% | src/asm_parse.cpp |
9 |
78.54 |
0.36% | src/asm_marshal.cpp |
9 |
88.61 |
0.1% | src/crab/array_domain.cpp |
14 |
54.88 |
-0.65% | src/asm_ostream.cpp |
25 |
94.02 |
0.02% | src/crab/ebpf_domain.cpp |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
70.67 |
-0.14% | src/asm_cfg.cpp |
1 |
81.01 |
0.24% | src/asm_parse.cpp |
1 |
88.61 |
0.1% | src/crab/array_domain.cpp |
2 |
76.42 |
0.0% | src/crab/interval.cpp |
2 |
94.34 |
-0.09% | src/crab/split_dbm.cpp |
3 |
94.02 |
0.02% | src/crab/ebpf_domain.cpp |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | run-Debug - 10727864745.1 | 192 |
76.89 |
GitHub Action Run | |
2 | run-Release - 10727864745.2 | 190 |
79.34 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|