goblint / analyzer / 3667

Build # 3667

Build Type

Pull #1836

github

Committed by web-flow

Commit Message

Merge 5333390d6 into 76714a034

Pull Request Pull Request #1836: Add tests from Halbwachs' PhD thesis

Run Details

21055 of 34079 relevant lines covered (61.78%)

404945.01 hits per line

Source File

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

Source Not Available