Drop support for Python 3.7

As announced in the changelog of BenchExec 3.22 and on the issue tracker.

Part of #986.

.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:

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():

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

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)

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