Repository navigation
Build svcomp27 archive for Ubuntu 26.04 #48
Description
SV-COMP 2027 runs on Ubuntu 26.04 (Python 3.14; openjdk-17 available). The svcomp26 archive bundles a venv built on 24.04/Python 3.12, which will likely break.
- Build the archive (
scripts/package-svcomp.sh) against ubuntu:26.04 / Python 3.14 - Include the YAML WitnessCreator
- Run fm-tools smoke test on ubuntu:26.04
- If the venv dir name changes, update
REQUIRED_PATHSin benchexectools/swat.py - Upload to Zenodo
Deadline: Oct 20 (AoE), final resubmission Nov 17.
Activity
nils-loose commentedon Oct 20, 2026
Status: the archive builds against
ubuntu:26.04(Python 3.14, Z3 5.3.1, witnesscreator v1.0.0) and passescheck-svcomp-package.sh. Merged intodevthrough #92. Still to do: tagsvcomp27, run the BenchExec smoke test, upload to Zenodo, and updateREQUIRED_PATHSin benchexectools/swat.py. It still listsknife-fuzzer,local_z3_installation,.venv_ubuntu_24_04_1__x86_64andWitnessCreator, and is missingBUILD_INFO.txt.nils-loose commentedon Oct 20, 2026
Done.
svcomp27-rc1(dev 209cc0e) was built forubuntu:26.04(Python 3.14, Z3 5.3.1) and published on Zenodo as 10.5281/zenodo.23503652. The fm-tools smoke test passes. The archive now also has a generatedTHIRD-PARTY-LICENSES.md(#95), and the BenchExecREQUIRED_PATHSupdate is submitted upstream.