3937

Committed 10 Dec 2025 01:23PM UTC coverage: 65.446%. First build

Build # 3937

Build Type

github

Committed by

Commit Message

Merge d6899e0d0 into 923bdfec4

Run Details

136 of 169 new or added lines in 30 files covered. (80.47%)

22490 of 34364 relevant lines covered (65.45%)

405894.62 hits per line

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

4.65

/src/analyses/tutorials/taint.ml