Add goblint_cil_pulledup attribute to static local variables pulled up to global scope#226
Open
Copilot wants to merge 2 commits into
Open
Add goblint_cil_pulledup attribute to static local variables pulled up to global scope#226Copilot wants to merge 2 commits into
goblint_cil_pulledup attribute to static local variables pulled up to global scope#226Copilot wants to merge 2 commits into
