#!/bin/sh
# DF-5730 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./serial_vm.sh up && ./run.sh (boot1 radix/maxwidth) && ./run2.sh (boot2 maxoff) && ./run5-control.sh (liveness control)