#!/bin/sh
# DF-3569 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./guard_prod kat; ./guard_prod guard; ./guard_dbg guard; ./guard_fix kat; ./guard_fix guard   (see run.sh)