4033

Committed 08 Jan 2026 02:50PM UTC coverage: 65.441% (+0.03%) from 65.413%

Build # 4033

Build Type

push

github

Committed by

Commit Message

Merge pull request #1894 from goblint/cast-kind

Add cast kinds in CIL

Run Details

64 of 81 new or added lines in 23 files covered. (79.01%)

16 existing lines in 2 files now uncovered.

22606 of 34544 relevant lines covered (65.44%)

404521.12 hits per line

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

4.65

/src/analyses/tutorials/taint.ml