3750

Committed 31 Oct 2025 10:32AM UTC coverage: 61.457% (-0.1%) from 61.569%

Build # 3750

Build Type

push

github

Committed by

Commit Message

Merge pull request #1845 from goblint/multishot-svcomp25

Executing a Portfolio of Runs via Script

Run Details

20926 of 34050 relevant lines covered (61.46%)

405257.7 hits per line

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

4.65

/src/analyses/tutorials/taint.ml