Ran
|
Jobs
2
|
Files
58
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
push
github
29 of 36 new or added lines in 4 files covered. (80.56%)
535 existing lines in 22 files now uncovered.8474 of 9373 relevant lines covered (90.41%)
12024070.68 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
88.64 |
-0.25% | src/test/conformance_check.cpp |
5 |
94.0 |
-0.13% | src/crab/ebpf_domain.cpp |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
90.91 |
0.0% | src/linux/gpl/spec_prototypes.cpp |
1 |
99.78 |
0.01% | src/test/test_marshal.cpp |
1 |
88.64 |
-0.25% | src/test/conformance_check.cpp |
2 |
0.0 |
0.0% | src/crab_utils/safeint.hpp |
3 |
95.0 |
1.15% | src/crab/var_factory.cpp |
6 |
52.5 |
0.0% | src/crab/bitset_domain.cpp |
9 |
72.97 |
0.0% | src/linux/linux_platform.cpp |
11 |
93.14 |
-1.94% | src/assertions.cpp |
14 |
39.24 |
0.0% | src/crab_utils/stats.cpp |
16 |
72.88 |
-0.62% | src/crab/fwd_analyzer.cpp |
20 |
76.42 |
0.1% | src/crab/interval.cpp |
22 |
78.18 |
0.45% | src/asm_marshal.cpp |
24 |
95.37 |
-1.33% | src/asm_unmarshal.cpp |
25 |
78.67 |
0.0% | src/crab_verifier.cpp |
29 |
88.24 |
0.14% | src/asm_files.cpp |
35 |
70.81 |
0.28% | src/asm_cfg.cpp |
38 |
94.43 |
0.1% | src/crab/split_dbm.cpp |
39 |
76.45 |
0.14% | src/ebpf_yaml.cpp |
43 |
80.77 |
-0.33% | src/asm_parse.cpp |
45 |
88.51 |
1.35% | src/crab/array_domain.cpp |
54 |
55.53 |
-0.64% | src/asm_ostream.cpp |
97 |
94.0 |
-0.13% | src/crab/ebpf_domain.cpp |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | run-Debug - 10685068694.1 | 194 |
76.84 |
GitHub Action Run | |
2 | run-Release - 10685068694.2 | 192 |
79.29 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|