#!/bin/sh
# DF-3253 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
cd findings/poc/DF-3253 && REPS=1 NTHR=8 ITERS=120 ./run.sh badmagic