#!/bin/sh
# DF-0766 -- run the reachability-analysis harness (definitive proof).
# Run on the guest as the unprivileged user (maxx):
#   sh run.sh
set -e
cd "$(dirname "$0")"
./reach