Frama-c coverage to gcovr#127

PThierry wants to merge 2 commits into

camelot-os:maincamelot-os/sentry-kernel:mainfrom

PThierry:frama-c-coverage-to-gcovrPThierry/sentry-kernel:frama-c-coverage-to-gcovrCopy head branch name to clipboard