Fix TestCov 3.5 module: Only include 3.5 (!13) · Merge requests · SoSy-Lab / Test-Comp / Tester Archives 2022

The source project of this merge request has been removed.

Thomas Lemberger requested to merge (removed):testcov-3.5 into main Nov 04, 2021

The archive previously included an older version of TestCov, as well. This older version was picked up during execution instead of the new one. Only include the new version, now.

Fix TestCov 3.5 module: Only include 3.5

Merge request reports