goblint / analyzer / 3265

Build # 3265

Build Type

Pull #1755

github

Committed by web-flow

Commit Message

Merge a046a84e0 into b8fb60e5d

Pull Request Pull Request #1755: lin2var: fixed misbehaviour of join wrt bot values

Run Details

20665 of 33612 relevant lines covered (61.48%)

410983.66 hits per line

Source File

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

Source Not Available