SV-COMP 24 fixes - Githubissues

diffblue / 2ls

Static Analyzer and Verifier

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

Other

44 stars 24 forks source link

SV-COMP 24 fixes #176

Open FrNecas opened 10 months ago

FrNecas commented 10 months ago

This PR introduces various small fixes required for SV-COMP 2024:

fixes for building with GCC 13
ignore longjmp in competition mode
ignore cos/sin/exp and similar functions in competition mode

FrNecas commented 10 months ago

We should merge https://github.com/peterschrammel/cbmc/pull/29 before this so that the submodule doesn't point to my dev branch

peterschrammel commented 10 months ago

done

FrNecas commented 10 months ago

I've noticed that our clang-format config for breaking after bracket wasn't consistent with the code style, hence the linting errors. Hopefully should be passing now.