16927242509

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

Source File
Press 'n' to go to next uncovered line, 'b' for previous

52.7

/src/types/utils.cpp