Ceedling does not include by default the headers of the mocked file. It is a problem in this case because the headers are needed and the source files cannot be modified. I had to include it in project.yml
like this in order to make it work :
:cmock:
:includes:
- src/Drivers/STM32H7xx_HAL_Driver/Inc/stm32h7xx_hal.h