added coverage-branches rundef for fusebmc (!71) · 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):rafa-sa-xp-master-patch-25492 into master Nov 25, 2020

Just adding FuSeBMC into coverage branches categories