goblint / analyzer / 3050

Build # 3050

Build Type

Pull #1707

github

Committed by web-flow

Commit Message

Merge 28e40b940 into 66dff5a90

Pull Request Pull Request #1707: Update 56-witness/*-tm-inv-tranfer* tests

Run Details

19636 of 31963 relevant lines covered (61.43%)

430625.47 hits per line

Source File

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

Source Not Available