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

126 B · on GitHub

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