search

goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
160 stars 72 forks source link

Remove library functions old specification mechanisms #1487

Closed karoliineh closed 1 month ago

michael-schwarz commented 1 month ago

Great! This has been a long time coming!