diff --git a/get_tasks_for_property.sh b/get_tasks_for_property.sh index 0a7680e4b29..58c057aa966 100755 --- a/get_tasks_for_property.sh +++ b/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 [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