goblint / analyzer / 3051

Build # 3051

Build Type

push

github

Committed by web-flow

Commit Message

Merge pull request #1700 from goblint/stats_on_texpr

Closing the gaps in Texpr generation

Run Details

19635 of 31963 relevant lines covered (61.43%)

430653.36 hits per line

Source File

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

Source Not Available