Don't directly namespace context attributes, but use dict of dicts
As proposed by
@@ -32,20 +32,25 @@ properties:
- property_file: ../test/tasks/other.prp
expected_verdict: true
-# Optional, contains dict with key-value pairs that
-# provide additional information about the context of the task definition.
+# Optional, contains dict that provides additional information
+# about the context of the task definition.
# If given, benchexec will pass this information to the tool-info module.
#
-# Keys and their values are not interpreted by benchexec and may differ between application areas.
-# Because of this, they should be namespaced to avoid naming conflicts
-# and put their intended meaning in context (no pun intended; see below for an example).
+# Each key in the dict defines a namespace for context attributes.
+# Each namespace contains another dict with key-value pairs in that namespace.
+# These key-value pairs describe the concrete context.
+#
+# Namespaces, context attributes and their values are not interpreted by benchexec
+# and may differ between application areas.
context:
+ # Example namespace
+ com.github.sosy-lab.sv-benchmarks:
# Example field for this dict.
# Machine model the task definition is defined for.
# Properties of this task definition are only guaranteed to be
# valid on the input_files for the machine model specified here.
#
- # Values tools are expected to support: linux32 and linux64
- com.github.sosy-lab.sv-benchmarks.machine_model: linux32
+ # Values tools are expected to support: linux32, linux64
+ machine_model: linux32
# All other keys in the global dict and in the properties dict are reserved for future use.
