goblint / analyzer / 3091

coverage: 61.793% (+0.4%) from 61.43%
3091

push

github

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

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

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

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

68.75
/src/analyses/singleThreadedLifter.ml


Source Not Available