REUSE compliance of software/metaval

Unfortunately, gitlab.com/sosy-lab/software/metaval 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/metaval)](https://api.reuse.software/info/gitlab.com/sosy-lab/software/metaval)

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 69c0cad404cd00e06bc1c50108bf245a188b779d was checked on 05 Oct 2023 07:20:46 UTC with the following result: 

warning: redirecting to https://gitlab.com/sosy-lab/software/metaval.git/
# MISSING LICENSES

'Apache-2.0' found in:
* metaval-algo-selector.sh


# MISSING COPYRIGHT AND LICENSING INFORMATION

The following files have no copyright and licensing information:
* .gitignore
* .gitlab-ci.yml
* README.md
* bundle.sh
* metaval.py
* metaval.sh
* tutorial/README.md
* tutorial/programs/array-examples/sanfoundry_43_ground.i
* tutorial/programs/array-examples/sanfoundry_43_ground.yml
* tutorial/programs/array-tiling/skippedu.c
* tutorial/programs/array-tiling/skippedu.yml
* tutorial/programs/bitvector/README.txt
* tutorial/programs/bitvector/jain_1-1.c
* tutorial/programs/bitvector/jain_1-1.yml
* tutorial/programs/memsafety-ext3/derefAfterFree1.c
* tutorial/programs/memsafety-ext3/derefAfterFree1.yml
* tutorial/programs/memsafety-ext3/getNumbers3.c
* tutorial/programs/memsafety-ext3/getNumbers3.yml
* tutorial/programs/properties/no-overflow.prp
* tutorial/programs/properties/termination.prp
* tutorial/programs/properties/unreach-call.prp
* tutorial/programs/properties/unreach-label.prp
* tutorial/programs/properties/valid-memcleanup.prp
* tutorial/programs/properties/valid-memsafety.prp
* tutorial/programs/termination-crafted/2Nested-2.c
* tutorial/programs/termination-crafted/2Nested-2.yml
* tutorial/programs/termination-crafted/TelAviv-Amir-Minimum.c
* tutorial/programs/termination-crafted/TelAviv-Amir-Minimum.yml
* tutorial/screenshots/navigation_svcomp_site.png
* tutorial/screenshots/navigation_svcomp_site_table.png
* tutorial/tests_ci.xml
* tutorial/tests_correctness.xml
* tutorial/tests_violation.xml
* tutorial/witnesses/2Nested-2.yml.graphml
* tutorial/witnesses/TelAviv-Amir-Minimum.yml.graphml
* tutorial/witnesses/derefAfterFree1.yml.graphml
* tutorial/witnesses/getNumbers3.yml.graphml
* tutorial/witnesses/jain_1-1.yml.graphml
* tutorial/witnesses/sanfoundry_43_ground.yml.graphml
* tutorial/witnesses/skippedu.yml.graphml

The following files have no licensing information:
* tutorial/programs/array-tiling/License.txt


# SUMMARY

* Bad licenses: 0
* Deprecated licenses: 0
* Licenses without file extension: 0
* Missing licenses: Apache-2.0
* Unused licenses: 0
* Used licenses: Apache-2.0
* Read errors: 0
* files with copyright information: 2 / 42
* files with license information: 1 / 42

Unfortunately, your project is not compliant with version 3.0 of the REUSE Specification :-(