goblint / analyzer / 2561

Build # 2561

Build Type

Pull #1630

github

Committed by web-flow

Commit Message

Merge 1de9009d7 into ed8016877

Pull Request Pull Request #1630: Simplify relational witness invariants

Run Details

18880 of 30432 relevant lines covered (62.04%)

445864.06 hits per line

Source File

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

Source Not Available