Update documentation on union with result ids
The new React-based tables actually show the full task identifier
including this id.
@@ -45,9 +45,9 @@ SPDX-License-Identifier: Apache-2.0
<union title="*optional title*">
<!-- If each of the result files contains results for the same set of tasks,
and all these results should be placed below each other in the table
- (note that you will not be able to distinguish them),
add a unique attribute "id" to the <result> tag
- and make sure its file pattern matches only one file. -->
+ and make sure its file pattern matches only one file.
+ The id will be visible as part of the task identifier in the table. -->
<result filename="*file-name pattern for XML files produced by BenchExec*"/>
<!-- <column> can be used here to override the global set of columns.
But note that <column> can not be used inside <result> tags
