diff --git a/benchexec/baseexecutor.py b/benchexec/baseexecutor.py index d62ff24c0..4c0a4a8ca 100644 --- a/benchexec/baseexecutor.py +++ b/benchexec/baseexecutor.py @@ -124,6 +124,7 @@ def pre_subprocess(): def wait_and_get_result(): exitcode, ru_child = self._wait_for_process(p.pid, args[0]) + p.poll() parent_cleanup = parent_cleanup_fn( parent_setup, util.ProcessExitCode.from_raw(exitcode), "", cgroups diff --git a/pyproject.toml b/pyproject.toml index e1ff62eaa..cede28c4c 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -74,9 +74,6 @@ ignore = [ [tool.pytest.ini_options] filterwarnings = [ "error", - # TODO cf. https://github.com/sosy-lab/benchexec/issues/1073 - # To make warning visible change "ignore" to "default". - "ignore:subprocess .* is still running:ResourceWarning", ] python_files = ["test_*.py", "test_integration/__init__.py", "test.py"] norecursedirs = ["contrib/p4/docker_files", "build", "benchexec/tablegenerator/react-table"]