Skip to content

Update esbmc .yml descriptions

Franz Brauße requested to merge fbrausse/fm-tools:main into main

While the doi.org link doesn't work, yet, this is the Zenodo link: https://zenodo.org/records/10063865

We have removed esbmc-incr as it is no longer relevant.

Merge request reports