removed esbmc from coverage-branches (!49) · Merge requests · SoSy-Lab / Test-Comp / Benchmark Definitions · GitLab

The source project of this merge request has been removed.

Rafael Menezes requested to merge (removed):master into master Nov 18, 2019

Just removed the coverage-branches run-definition