2792

Committed 17 Jan 2025 01:42PM UTC coverage: 61.845% (-0.04%) from 61.885%

Build # 2792

Build Type

push

github

Committed by

Commit Message

Merge pull request #1642 from goblint/priv_prec_compare_stats

More useful stats output by `privPrecCompare`

Run Details

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

136 existing lines in 3 files now uncovered.

18963 of 30662 relevant lines covered (61.85%)

442443.66 hits per line

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

76.67

/src/cdomain/value/cdomains/stringDomain.ml