#!/bin/sh
# DF-5024 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh (spray + 3 leak rounds); A/B: build df5024_fixed.c and rerun trigger