The source project of this merge request has been removed.
Improve CI job for required Ubuntu packages
Also check required ubuntu packages of validators.
Commit originally by @PhilippWendler: sosy-lab/sv-comp/bench-defs@b765d00f
Also check required ubuntu packages of validators.
Commit originally by @PhilippWendler: sosy-lab/sv-comp/bench-defs@b765d00f