From b3debbe7df4795b308ca5fe5a8eca90d2a5dc69f Mon Sep 17 00:00:00 2001
From: Philipp Wendler <uni@philippwendler.de>
Date: Fri, 30 Aug 2024 13:47:57 +0200
Subject: [PATCH] Enable warnings as errors when executing our test suite

---
 pyproject.toml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pyproject.toml b/pyproject.toml
index acd0770cb..e1ff62eaa 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -72,5 +72,11 @@ 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"]