REUSE compliance of software/coveriteam

Unfortunately, gitlab.com/sosy-lab/software/coveriteam is not REUSE compliant and does not fully adopt the recommendations to make software licensing easy for humans and machines alike. Have a look at our tutorial to learn about the three simple steps to become REUSE compliant.

Badge

To add the badge to your project's README.md file, use the following snippet:

[![REUSE status](https://api.reuse.software/badge/gitlab.com/sosy-lab/software/coveriteam)](https://api.reuse.software/info/gitlab.com/sosy-lab/software/coveriteam)

Machine-readable information

The API provides machine-readable artifacts for automatic analysis.

• All information about the latest compliance check can also be accessed via a machine-parsable JSON file.
• You can gather the automatically generated SPDX SBOM in Tag:Value format, based on the reuse spdx command.

Last lint output

Commit 0408cbdfe438d3be7a8a622e5dace5775b5d9e82 was checked on 07 Oct 2026 13:14:15 UTC with the following result:

warning: redirecting to https://gitlab.com/sosy-lab/software/coveriteam.git/
Terminated
https://gitlab.com/sosy-lab/software/coveriteam is not a valid git repository