goblint / analyzer / 3771

Build # 3771

Build Type

push

github

Committed by sim642

Commit Message

Remove SKIP from passing 45-escape/07-local-in-global-after-create (PR #1078)

The test was added in df407b1ac, but already fixed in following commit 9143b2a3d.
It was just forgotten to remove the SKIP.

Run Details

20941 of 34088 relevant lines covered (61.43%)

404814.95 hits per line

Source File

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

Source Not Available