The source project of this merge request has been removed.
Update TestCov to 129ec7d
Don't use returncode 1 for unknowns because benchexec always translates this to "ERROR"
Don't use returncode 1 for unknowns because benchexec always translates this to "ERROR"