goblint / analyzer / 4401

Build # 4401

Build Type

push

github

Committed by web-flow

Commit Message

Merge pull request #1961 from goblint/rel-ana-combine-dead

Handle contradictory relations combination as dead paths

Coverage Stats

22679 of 34630 relevant lines covered (65.49%)

399973.7 hits per line

Source File

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

Source Not Available