#!/bin/sh
# DF-5724 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
#!/bin/sh
# DF-5724 — enter ddb on the socket-serial guest and drive both variants.
# A wedges the box (fatal trap 18 cascade); B hangs it silently.
# Run ONE variant per boot:   ./run.sh A   then reset, then   ./run.sh B
set -eu
cd "$(dirname "$0")"
V="${1:-A}"
./serial_vm.sh up
(ssh -F ../../../dfbsd-qemu/config dfbsd 'sysctl debug.enter_debugger=ddb' >/dev/null 2>&1 &)
sleep 6
python3 drive.py "$V"