Skip to content

Add LICENSE file; address used packages in readme

Martin Spiessl requested to merge sv-comp-2022 into master

These changes were done to satisfy requirements of SV-COMP contribution.

We should merge them into master to not lose this / forget this for next year.

Merge request reports