Skip to content

Commit

Permalink
Do not delete the additional_information key from the task information
Browse files Browse the repository at this point in the history
This is not required cf. #1114 (comment)

Co-authored-by: Philipp Wendler <[email protected]>
  • Loading branch information
marian-lingsch and PhilippWendler authored Nov 19, 2024
1 parent 8d07780 commit 48ebb8b
Showing 1 changed file with 0 additions and 7 deletions.
7 changes: 0 additions & 7 deletions benchexec/model.py
Original file line number Diff line number Diff line change
Expand Up @@ -119,13 +119,6 @@ def load_task_definition_file(task_def_file):
f"format_version needs to be at least 2.1 for this."
)

if format_version == "2.1":
# Remove the additional_information key from the task definition
# since this should only be considered as a comment
# as described in its definition:
# https://gitlab.com/sosy-lab/benchmarking/task-definition-format
task_def.pop("additional_information", None)

return task_def


Expand Down

0 comments on commit 48ebb8b

Please sign in to comment.