From e7c3b0a871df3f4b43913d9f35c810822c0ec8f8 Mon Sep 17 00:00:00 2001 From: Florian Eder Date: Mon, 2 Dec 2024 07:41:42 +0000 Subject: [PATCH] remove typehint which is incompatible with python < 3.10 --- benchexec/test_core_assignment_new.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/benchexec/test_core_assignment_new.py b/benchexec/test_core_assignment_new.py index 91dfeb23c..648e6a1d6 100644 --- a/benchexec/test_core_assignment_new.py +++ b/benchexec/test_core_assignment_new.py @@ -19,7 +19,7 @@ def expect_assignment( - number_cores: int, expected_assignment: list, max_threads: int | None = None + number_cores: int, expected_assignment: list, max_threads=None ) -> callable: """ Add a new test case "test_(number_cores)_cores", which checks if the results match the expected assignment