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

Commits

Commits on May 13, 2026