Skip to content

Fix renaming bug triggered by static locals hiding other locals/formals.#229

Open
difcsi wants to merge 1 commit into
goblint:developfrom
difcsi:fix-renaming-bug
Open

Fix renaming bug triggered by static locals hiding other locals/formals.#229
difcsi wants to merge 1 commit into
goblint:developfrom
difcsi:fix-renaming-bug

Fix renaming bug triggered by static locals hiding other locals/formals.

8b16695
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
tests (ubuntu-24.04, 4.12.x)
succeeded Jun 11, 2026 in 5m 35s