3091
65%

Ran 26 Mar 2025 03:00AM UTC

Jobs 1

Files 288

Run time 1min

Badge

Committed 24 Mar 2025 12:42PM UTC coverage: 61.793% (+0.4%) from 61.43%

Build # 3091

Build Type

push

github

Committed by

Commit Message

Merge pull request #1485 from reb-ddm/thesis-weakly-relational-pointer

C-2PO: Thesis About a Weakly-Relational Pointer Analysis

Run Details

1132 of 1659 new or added lines in 7 files covered. (68.23%)

20776 of 33622 relevant lines covered (61.79%)

409904.0 hits per line

Lines	Coverage	File
3	86.96	src/analyses/startStateAnalysis.ml
10	68.75	src/analyses/singleThreadedLifter.ml
14	72.55	src/cdomains/duplicateVars.ml
52	70.95	src/analyses/c2poAnalysis.ml
75	46.43	src/cdomains/c2poDomain.ml
161	77.36	src/cdomains/congruenceClosure.ml
212	59.46	src/cdomains/unionFind.ml

ID	Job ID	Ran	Files	Coverage
1	3091.1	26 Mar 2025 03:00AM UTC	288	61.79	GitHub Action Run