14231336081
87%

Ran 02 Apr 2025 11:24PM UTC

Jobs 1

Files 68

Run time 1min

Badge

Committed 02 Apr 2025 11:08PM UTC coverage: 87.272% (-0.9%) from 88.177%

Build Type

push

github

Committed by

Commit Message

Propogate ebpf_verifier_options_t to thread_local_options (#856)

Signed-off-by: Alan Jowett <alanjo@microsoft.com>

Run Details

5 of 5 new or added lines in 2 files covered. (100.0%)

58 existing lines in 19 files now uncovered.

8324 of 9538 relevant lines covered (87.27%)

4881701.3 hits per line

Lines	Coverage	∆	File
1	52.63	-0.94%	src/crab/cfg.hpp
1	95.83	-0.48%	src/crab/ebpf_checker.cpp
1	5.63	-1.41%	src/crab_utils/stats.cpp
1	84.0	-4.0%	src/crab_verifier.hpp
1	73.97	-1.03%	src/linux/linux_platform.cpp
1	50.0	-50.0%	src/test/ebpf_yaml.hpp
2	86.0	-0.83%	src/asm_files.cpp
2	87.23	-4.92%	src/crab/bitset_domain.hpp
2	94.43	-0.39%	src/crab/split_dbm.cpp
2	44.44	-28.28%	src/crab_utils/stats.hpp
3	61.96	-2.7%	src/asm_cfg.cpp
3	52.93	-0.84%	src/asm_ostream.cpp
3	93.91	-0.78%	src/asm_unmarshal.cpp
3	63.33	-4.46%	src/crab_verifier.cpp
3	87.5	-2.8%	src/crab/wto.cpp
4	80.66	-4.85%	src/asm_marshal.cpp
5	95.5	-0.78%	src/crab/ebpf_transformer.cpp
10	94.72	-1.65%	src/crab/finite_domain.cpp
10	97.55	-2.23%	src/test/test_marshal.cpp

ID	Job ID	Ran	Files	Coverage
1	run-Release - 14231336081.1	02 Apr 2025 11:24PM UTC	68	87.27	GitHub Action Run