search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
136 stars 20 forks source link

Expose `Cil.freshLabel` #74

Closed michael-schwarz closed 2 years ago

michael-schwarz commented 2 years ago

Needed for https://github.com/goblint/analyzer/pull/563