#!/bin/sh
# DF-4862 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh   (baseline then patched twin; extra determinism runs in run.2.log/run.3.log)