goblint / analyzer / 4669

coverage: 65.199% (-0.07%) from 65.264%
4669

Pull #2047

github

web-flow 
Merge 459bf93c6 into 8d32b6b3d
Pull Request #2047: Add possible analysis `V` and `G` coupling layer

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

725 existing lines in 12 files now uncovered.

22915 of 35146 relevant lines covered (65.2%)

394643.81 hits per line

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

65.6
/src/framework/control.ml


Build SHA Not Found

The commit SHA "0fc6d445fe1dd48d2dc87b0cd5a6246973ec59f5" was not found in your repository, so the file cannot be loaded. This may be because you posted from a local development environment, or your CI created an ephemeral commit.