16910121039
62%

Ran 12 Aug 2025 01:21PM UTC

Jobs 1

Files 223

Run time 1min

Badge

Committed 12 Aug 2025 01:19PM UTC coverage: 65.458% (-0.009%) from 65.467%

Build Type

push

github

Committed by

Commit Message

Merge pull request #194 from daisytuner/infer-types-conditions

ignore reads of pointer as addresses in symbolic conditions

Run Details

0 of 2 new or added lines in 1 file covered. (0.0%)

9185 of 14032 relevant lines covered (65.46%)

128.27 hits per line

Lines	Coverage	∆	File
2	52.7	-0.72%	src/types/utils.cpp

ID	Job ID	Ran	Files	Coverage
1	16910121039.1	12 Aug 2025 01:21PM UTC	223	65.46	GitHub Action Run