#!/bin/sh
# DF-3316 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./run.sh 300   (or for best churn exposure: 2x 'tcp_pcb_race -r 300' + 'tcp_pcb_race -c 300 16', all as nobody)