goblint / analyzer / 3031

Build # 3031

Build Type

push

github

Committed by sim642

Commit Message

Fix "position" typo in CongruenceDomain

Co-authored-by: Michael Schwarz <michael.schwarz93@gmail.com>

Run Details

19628 of 31956 relevant lines covered (61.42%)

430609.45 hits per line

Source File

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

Source Not Available