Drop support for Python 3.7

As announced in the changelog of BenchExec 3.22 and on the issue tracker. Part of sosy-lab#986.
EshaanAgg · Jun 28, 2024 · 6d5b4fc · 6d5b4fc
1 parent 67b93a9
commit 6d5b4fc
Show file tree

Hide file tree

Showing 6 changed files with 5 additions and 52 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -61,11 +61,6 @@ stages:
  paths:
  - coverage.xml
 
-unit-tests:python-3.7:
- <<: *unit-tests
- variables:
- PYTHON_VERSION: '3.7'
-
 unit-tests:python-3.8:
  <<: *unit-tests
  variables:
@@ -210,12 +205,6 @@ reuse:
  - schedules
  - web
 
-build-docker:test:python-3.7:
- extends: .build-docker
- variables:
- DOCKERFILE: test/Dockerfile.python-3.7
- IMAGE: test:python-3.7
-
 build-docker:test:python-3.8:
  extends: .build-docker
  variables:

diff --git a/benchexec/container.py b/benchexec/container.py
@@ -859,11 +859,7 @@ def setup_seccomp_filter():
  logging.info("Could not enable seccomp filter for container isolation: %s", e)
 
 
-try:
- _ALL_SIGNALS = signal.valid_signals() # pytype: disable=module-attr
-except AttributeError:
- # Only exists on Python 3.8+
- _ALL_SIGNALS = range(1, signal.NSIG)
+_ALL_SIGNALS = signal.valid_signals()
 
 
 def block_all_signals():

diff --git a/debian/control b/debian/control
@@ -5,13 +5,13 @@ Maintainer: Philipp Wendler <debian@philippwendler.de>
 Build-Depends: debhelper (>= 11),
  dh-apparmor,
  dh-python,
- python3 (>= 3.7),
+ python3 (>= 3.8),
  python3-setuptools,
  python3-lxml,
  python3-yaml (>= 3.12),
  python3-nose
 Standards-Version: 3.9.6.1
-X-Python3-Version: >= 3.7
+X-Python3-Version: >= 3.8
 Homepage: https://github.com/sosy-lab/benchexec
 Vcs-Git: https://github.com/sosy-lab/benchexec.git
 Vcs-Browser: https://github.com/sosy-lab/benchexec

diff --git a/doc/INSTALL.md b/doc/INSTALL.md
@@ -13,7 +13,7 @@ SPDX-License-Identifier: Apache-2.0
 
 ### Requirements
 
-- Python 3.7 or newer
+- Python 3.8 or newer
 - Linux (cf. [Kernel Requirements](#kernel-requirements) below for details)
 - Access to cgroups (cf. [Setting up Cgroups](#setting-up-cgroups) below for details)
 - x86 or ARM machine (please [contact us](https://github.com/sosy-lab/benchexec/issues/new) for other architectures)

diff --git a/pyproject.toml b/pyproject.toml
@@ -17,7 +17,7 @@ build-backend = 'setuptools.build_meta'
 [tool.black]
 include = 'bin|\.py$'
 exclude = 'node_modules|\.eggs'
-target-version = ['py37']
+target-version = ['py38']
 
 [tool.coverage.run]
 branch = true

diff --git a/test/Dockerfile.python-3.7 b/test/Dockerfile.python-3.7