Lucas C. Cordeiro

https://github.com/esbmc/esbmc/issues/1556 is also related to this PR.

I have started an SV-COMP run of 300 seconds: https://github.com/esbmc/esbmc/actions/runs/8045287744

This PR is obsolete.

Thanks for submitting this PR, @JacobYiu and @ChenfengWei0. Great work!

Hi @fbrausse, Can I ask you whether you would have any insights here?

@fbrausse: If I follow the instructions at https://github.com/esbmc/esbmc/blob/master/BUILDING.md, I get errors after executing this command: ```` cmake -GNinja -S ../llvm -DCMAKE_BUILD_TYPE=Release -DLLVM_PARALLEL_LINK_JOBS=4 -DLLVM_CCACHE_BUILD=FALSE -DLLVM_INSTALL_BINUTILS_SYMLINKS=TRUE -DLLVM_ENABLE_LIBXML2=FALSE -DLLVM_ENABLE_ZLIB=FORCE_ON -DLLVM_ENABLE_OCAMLDOC=FALSE -DLLVM_ENABLE_BINDINGS=FALSE -DLLVM_INCLUDE_EXAMPLES=FALSE -DLLVM_INCLUDE_DOCS=FALSE...

@fbrausse: Can I ask you whether you could update us here with the ESBMC-CHERI build? What has been done? What did work? What didn't work?

@XLiZHI, I can try to build it again. Would you like me to follow the instructions in https://github.com/esbmc/esbmc/blob/master/BUILDING.md? Shall we add this command `sudo apt-get install lld` to the instructions?

@rafaelsamenezes: could you please work on these two items? - Add instructions for bulding cvc5 on Linux - Modify CMakeLists.txt in solvers/cvc5/ directory such that path to dynamically linked library...

We should drop the support for CVC4. We should switch to CVC5.