14455782158
87%

Ran 14 Apr 2025 09:24PM UTC

Jobs 2

Files 69

Run time 1min

Badge

Committed 14 Apr 2025 09:07PM UTC coverage: 88.19%. Remained the same

Build Type

push

github

Committed by

Commit Message

license, and iostream in linux_verifier.cpp

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

Run Details

8632 of 9788 relevant lines covered (88.19%)

9030103.85 hits per line

Lines	Coverage	∆	File
1	95.12	0.0%	src/crab/split_dbm.hpp
6	52.5	0.0%	src/crab/bitset_domain.cpp
43	64.79	0.0%	src/asm_cfg.cpp

ID	Job ID	Ran	Files	Coverage
1	run-Release - 14455782158.1	14 Apr 2025 09:24PM UTC	68	87.29	GitHub Action Run
2	run-Debug - 14455782158.2	14 Apr 2025 10:06PM UTC	69	86.09	GitHub Action Run