goblint / analyzer / 3411

coverage: 61.276% (-0.3%) from 61.544%
3411

Pull #1776

github

web-flow 
Merge 9edcc7a28 into f2d071f11
Pull Request #1776: sparseOctagons: a new sparse implementation of Miné's Octagons

20914 of 34131 relevant lines covered (61.28%)

404753.7 hits per line

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

61.49
/src/cdomains/affineEquality/sparseImplementation/sparseVector.ml


Source Not Available