goblint / analyzer / 3222

Build # 3222

Build Type

push

github

Committed by sim642

Commit Message

Remove unused (documentation) from goblint.solver

goblint.solver is wrapped and documentation is in goblint_solver.ml

Run Details

20649 of 33582 relevant lines covered (61.49%)

411225.21 hits per line

Source File

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

Source Not Available