remove_coverage_from_nondet_pointer_tasks.sh

#!/bin/bash

# Requires `yq`.
# Execute from directory `sv-benchmarks/c`.

echo > candidates.txt
for i in $(grep -l "coverage-" **/*.yml); do
  inp=$(yq --raw-output '.input_files' $i)
  if egrep -q "=.*__VERIFIER_nondet_pointer" $(dirname $i)/$inp; then
    echo "$i"
    echo $(dirname $i)/$inp >> candidates.txt
  elif egrep -q "return.*__VERIFIER_nondet_pointer" $(dirname $i)/$inp; then
    echo "$i"
    echo $(dirname $i)/$inp >> candidates.txt
  fi
done | xargs sed -i -e "/coverage-.*/d"