vbpf / prevail / 24555009126

coverage: 89.028% (-0.09%) from 89.117%
24555009126

Pull #1088

github

web-flow 
Merge 6c4d4490c into ac03ef646
Pull Request #1088: Thread explicit AnalysisContext through the verifier; treat VariableRegistry as a global service

379 of 415 new or added lines in 25 files covered. (91.33%)

16 existing lines in 8 files now uncovered.

13437 of 15093 relevant lines covered (89.03%)

4470965.1 hits per line

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

76.42
/src/result.cpp


Build SHA Not Found

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