Merge pull request #1095 from lembergerth/master

Disambiguate tool 'yq'

get_tasks_for_property.sh

@@ -1,7 +1,7 @@
 #!/bin/bash
 
 # This script returns the task definition files for a given coverage property.
-# Requires `yq` to be installed.
+# Requires `yq` to be installed (https://pypi.org/project/yq/). Tested with version 2.10.
 # Usage: ./get_tasks_for_property <PROPERTY_FILE> [BENCHMARK_DIRECTORY]
 # Execute from directory `sv-benchmarks/c` or provide directory as a second command-line argument.
 # From the returned task definitions, it is possible to get the input files with the following