From 12fcb409baf6b5650239b8bedb88691b73b61fdf Mon Sep 17 00:00:00 2001 From: Philipp Wendler Date: Wed, 14 Feb 2024 11:25:00 +0100 Subject: [PATCH] small fixes for CI --- benchexec/resources.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/benchexec/resources.py b/benchexec/resources.py index 9edaaa263..d6f99bdcd 100644 --- a/benchexec/resources.py +++ b/benchexec/resources.py @@ -205,7 +205,7 @@ def is_sorted(items): return sorted(items) == list(items) # TODO check whether this assertion holds and/or is required - # assert is_sorted(allCpus.keys()), "CPUs are not sorted" + # assert is_sorted(allCpus.keys()), "CPUs are not sorted" #noqa: E800 node_count_per_level = [len(level) for level in hierarchy_levels] assert node_count_per_level[-1] == 1, "Root level is missing" @@ -779,7 +779,7 @@ def get_cpu_list(my_cgroups, coreSet: Optional[List] = None) -> List[int]: return fastest_cpus -def frequency_filter(cpu_max_frequencies: dict[int, List[int]]) -> List[int]: +def frequency_filter(cpu_max_frequencies: Dict[int, List[int]]) -> List[int]: """ Filters the available CPU cores so that only the fastest cores remain. Only cores with a maximal frequency above the defined threshold @@ -812,7 +812,7 @@ def read_generic_reverse_mapping( ids: List[int], name, path_template: str, -) -> dict[int, List[int]]: +) -> Dict[int, List[int]]: """ Given a list of ids and a path template, read an int value for every id, and return a reverse mapping (from value to id).