Skip to content

Update TestCov to 129ec7d

Thomas Lemberger requested to merge (removed):testcov into master

Don't use returncode 1 for unknowns because benchexec always translates this to "ERROR"

Merge request reports