Verifying a whole CMake project with genmc

[mquinson]

Hello,

would it be possible to verify a large multi-files project with genmc?

If I understand correctly, I would need a clang wrapper to compile each project file. The same wrapper could be used to link the files together, and then the genmc verifyier could be launched on the resulting instrumented binary.

Is this something possible currently? If not, would you guys consider implementing this in the future, or is it issues that I am not foreseeing?

Thanks in advance,
Mt

[michaliskok]

Hi Martin,

You can use the switch -extra-input=<file> to pass extra files to GenMC, which will be compiled and subsequently linked together. The switch is largely untested, but please do report any issues that might arise.

Would this work for your use case?

Michalis