Verifying a whole CMake project with genmc #69

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