af83196
1
2
3
4
5
6
7
#!/usr/bin/env bash set -euo pipefail PROGRAM="$1" python /benchmark/evaluator.py "$PROGRAM"