1 2 3 4
#!/bin/sh # DF-4671 run (see VERDICT.md for preconditions) cd "$(dirname "$0")" ./run.sh (--seqcheck confounder proof; --holdcheck deterministic orphan alias; then grow-vs-fault race as maxx)