Ran
|
Jobs
2
|
Files
58
|
Run time
2min
|
Badge
Embed ▾
README BADGES
|
github
1153 of 1247 new or added lines in 41 files covered. (92.46%)
10 existing lines in 6 files now uncovered.8398 of 9287 relevant lines covered (90.43%)
13705587.62 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 |
0.0 |
0.0% | src/crab_utils/safeint.hpp |
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 |
7 |
81.01 |
0.24% | src/asm_parse.cpp |
7 |
76.42 |
0.0% | src/crab/interval.cpp |
9 |
78.54 |
0.36% | src/asm_marshal.cpp |
9 |
88.84 |
0.32% | src/crab/array_domain.cpp |
14 |
54.88 |
-0.65% | src/asm_ostream.cpp |
26 |
94.08 |
0.08% | 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.84 |
0.32% | src/crab/array_domain.cpp |
2 |
76.42 |
0.0% | src/crab/interval.cpp |
2 |
94.93 |
0.5% | src/crab/split_dbm.cpp |
3 |
94.08 |
0.08% | src/crab/ebpf_domain.cpp |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | run-Debug - 10729733223.1 | 192 |
76.41 |
GitHub Action Run | |
2 | run-Release - 10729733223.2 | 190 |
78.65 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|