search

goblint / cil

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

Add option `silenceLongDoubleWarning` #156

Closed michael-schwarz closed 11 months ago

michael-schwarz commented 11 months ago

Closes #136.