files / problems / hilbert16-degree-8 / compute / q8 / replay_coverage.sh

131 B · on GitHub

#!/bin/sh
# Separate entry point: success audits coverage, not a new scheme.
set -eu
cd "$(dirname "$0")"
python3 coverage.py "$@"