Using up-to-date version of CBMC

[jparsert]

Is there any plan on using an up to date version of CBMC? As far as I can tell, the currently used version of CBMC by 2ls is 2 years old. I was wondering if there is any way of using the current version for it.
After some small quick checks it seems the biggest differences are the way messages/message_handlers are used in the newer CBMC versions compared to the old one.

[peterschrammel]

The upgrade was half-done a year ago before SV-COMP submission, but not finished. We are certainly aiming at getting it done in time this year.

[peterschrammel]

The latest rebased CBMC submodule branch from last year's effort is here https://github.com/peterschrammel/cbmc/tree/2ls-prerequisites-cbmc-6.3.1

[jparsert]

Ah interesting! As a follw-up, it might be worth looking into using CMAKE as a build system for 2ls. Especially, since cbmc seems to support using cbmc as a library using fetchContent(...). This way one would not have to incorporate cbmc as a submodule but one can use CMAKE to build with a specific commit of cbmc.