benchexec/pyproject.toml at main · baierd/benchexec · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
# This file is part of BenchExec, a framework for reliable benchmarking:
# https://github.com/sosy-lab/benchexec
#
# SPDX-FileCopyrightText: 2007-2025 Dirk Beyer <https://www.sosy-lab.org>
#
# SPDX-License-Identifier: Apache-2.0

# Documentation of this file:
# https://setuptools.pypa.io/en/latest/userguide/pyproject_config.html
# https://setuptools.readthedocs.io/en/latest/userguide/declarative_config.html
#
# Other links for documentation on how to build and use Python packages:
# https://packaging.python.org/
# https://snarky.ca/what-the-heck-is-pyproject-toml/

[project]
name = "BenchExec"
authors = [{name = "Dirk Beyer"}]
description = "A Framework for Reliable Benchmarking and Resource Measurement."
keywords = [
    "benchmarking",
    "resource measurement",
]
classifiers = [
    "Development Status :: 5 - Production/Stable",
    "Environment :: Console",
    "Intended Audience :: Science/Research",
    "License :: OSI Approved :: Apache Software License",
    "License :: OSI Approved :: BSD License",
    "License :: OSI Approved :: ISC License (ISCL)",
    "License :: OSI Approved :: MIT License",
    "Operating System :: POSIX :: Linux",
    "Programming Language :: Python :: 3 :: Only",
    "Topic :: System :: Benchmark",
]
license = {text = "Apache-2.0 AND BSD-3-Clause AND CC-BY-4.0 AND MIT AND ISC AND LicenseRef-BSD-3-Clause-CMU"}
requires-python = ">= 3.10"
dependencies = ["PyYAML >= 3.12"]
dynamic = ["version"]

[project.readme]
file = "README.md"
content-type = "text/markdown"

[project.urls]
Homepage = "https://github.com/sosy-lab/benchexec/"
Documentation = "https://github.com/sosy-lab/benchexec/blob/main/doc/INDEX.md"
Changelog = "https://github.com/sosy-lab/benchexec/blob/main/CHANGELOG.md"
"Issue Tracker" = "https://github.com/sosy-lab/benchexec/issues"

[project.optional-dependencies]
dev = [
    "lxml",
    "pytest",
    # Duplicate info here from systemd extra:
    "pystemd >= 0.7.0; platform_system != 'Windows'",
]
systemd = ["pystemd >= 0.7.0; platform_system != 'Windows'"]

[project.scripts]
benchexec = "benchexec.benchexec:main"
containerexec = "benchexec.containerexecutor:main"
runexec = "benchexec.runexecutor:main"
table-generator = "benchexec.tablegenerator:main"

[build-system]
requires = [
    # Require versions that support our license files
    # and produce the expected file names or archives.
    'setuptools >= 69.3.0',
    'wheel >= 0.32.0',
]
build-backend = 'setuptools.build_meta'

[tool.setuptools]
packages = ["benchexec", "benchexec.tablegenerator", "benchexec.tools"]
zip-safe = true
platforms = ["Linux"]
license-files = ["LICENSES/*.txt"]
include-package-data = false

[tool.setuptools.package-data]
"benchexec.tablegenerator" = [
    "react-table/build/*.min.js",
    "react-table/build/*.min.css",
]

[tool.setuptools.dynamic]
version = {attr = "benchexec.__version__"}

[tool.coverage.run]
branch = true
parallel = true
source = ['benchexec']
omit = ['benchexec/tools/*']

[tool.coverage.report]
# Regexes for lines to exclude from consideration
exclude_lines = [
    # Have to re-enable the standard pragma
    'pragma: no cover',

    # Don't complain about missing debug-only code:
    'def __repr__',
    'if self\.debug',

    # Don't complain if tests don't hit defensive assertion code:
    'raise AssertionError',
    'raise NotImplementedError',

    # Don't complain if non-runnable code isn't run:
    'if 0:',
    'if __name__ == .__main__.:',
]

[tool.coverage.html]
directory = 'coverage'

[tool.pytype]
inputs = ['benchexec']
exclude = [
    'benchexec/tablegenerator/react-table',
    # TODO
    'benchexec/tools',
    '**/test_*.py',
    '**/test_*/**.py',
]

[tool.ruff]
extend-include = ["bin/*"]

[tool.ruff.lint]
# TODO: Enable more checks.
#select = ["ALL"]
[tool.ruff.lint.per-file-ignores]
'bin/*' = [
    # imports need to come after sys.path changes
    'E402',
]
'benchexec/test*.py' = [
    # wildcard imports significantly shorten test code,
    'F405',
]

[tool.pytest.ini_options]
filterwarnings = [
    "error",
]
python_files = ["test_*.py", "test_integration/__init__.py", "test.py"]
norecursedirs = ["contrib/p4/docker_files", "build", "benchexec/tablegenerator/react-table"]