src/plugins/markdown-report/md_gen.ml · db99b4b5105d79aac5c3b65e865e27fa8e91f981 · pub / frama-c · GitLab

Find file Blame History Permalink

[Eva] Exports the list (name and description) of enabled abstract domains. · db99b4b5
David Bühler authored Mar 18, 2020
```
Used by the markdown-report plugin.
```
db99b4b5