goblint / analyzer / 3362

Build # 3362

Build Type

push

github

Committed by sim642

Commit Message

Fix Gobview by using batteries.unthreaded in goblint_parallel

Failure since https://github.com/goblint/analyzer/pull/1749#issuecomment-2922526665.
Hopefully this works.

Run Details

20712 of 33654 relevant lines covered (61.54%)

410870.3 hits per line

Source File

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

Source Not Available