Fix compilation warnings

diffblue / 2ls

Static Analyzer and Verifier

http://www.cprover.org/2LS

Other

43 stars 22 forks source link

Fix compilation warnings #156

Closed FrNecas closed 2 years ago

FrNecas commented 2 years ago

This PR fixed warnings thrown by gcc and clang and also makes config.inc a bit more modular similar to how CBMC does this. Also -Werror is now enabled by default.