3432

Committed 16 Jul 2025 09:00AM UTC coverage: 61.533% (-0.2%) from 61.717%

Build # 3432

Build Type

push

github

Committed by

Commit Message

Merge pull request #1751 from goblint/td_simplified_ref

Introduce solver td_simplified_ref.ml

Coverage Stats

1 of 103 new or added lines in 1 file covered. (0.97%)

20917 of 33993 relevant lines covered (61.53%)

406388.41 hits per line

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

0.97

/src/solver/td_simplified_ref.ml