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