#!/bin/sh
# DF-2316 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh (scenarios 9,20,21,22,23x3,24,26); sh run2.sh (scenario 25 -> panic on baseline); capture dfbsd-qemu/boot.log