requires = "frama-c-markdown-report.core"
