fix compilation warnings and enable the -Werror flag in CI

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

360 stars 45 forks source link

fix compilation warnings and enable the -Werror flag in CI #473

Closed ahmed-irfan closed 7 months ago

coveralls commented 8 months ago

coverage: 65.146% (+0.002%) from 65.144% when pulling f627fceeb955382b51c04877b945785327f04948 on fix-compilation-warnings into f2241ced7b3b19313b7403d914cdfe8d30a1664f on master.