goblint / analyzer / 2562

Build # 2562

Build Type

Pull #1630

github

Committed by web-flow

Commit Message

Merge c69622ded into ed8016877

Pull Request Pull Request #1630: Simplify relational witness invariants

Run Details

18878 of 30428 relevant lines covered (62.04%)

445922.67 hits per line

Source File

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

Source Not Available