Skip to content
Back to pull request #226

Add goblint_cil_pulledup attribute to static local variables pulled up to global scope #339

Sign in to view logs

Add goblint_cil_pulledup attribute to static local variables pulled up to global scope

Add goblint_cil_pulledup attribute to static local variables pulled up to global scope #339

Job log options

This job was skipped