3224

Committed 16 May 2025 02:58PM UTC coverage: 61.488%. Remained the same

Build # 3224

Build Type

push

github

Committed by

Commit Message

Fix dune-project and goblint.opam inconsistency (PR #1708)

Run Details

20649 of 33582 relevant lines covered (61.49%)

411225.39 hits per line

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

61.83

/src/framework/control.ml