goblint / analyzer / 4517

coverage: 65.269% (+0.005%) from 65.264%
4517

Pull #2043

github

web-flow 
Merge 54ce70197 into 5f8e1dbc9
Pull Request #2043: Port tutorial analyses to `SimplifiedSpec` while preserving `unitAnalysis` compatibility

58 of 87 new or added lines in 7 files covered. (66.67%)

2 existing lines in 1 file now uncovered.

22997 of 35234 relevant lines covered (65.27%)

394781.5 hits per line

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

5.0
/src/analyses/tutorials/taint.ml


Build SHA Not Found

The commit SHA "35c1176d4a7cbe94183ced2a065165d1953a9215" 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.