#!/bin/sh
# DF-1178 harness run (logic-level demonstration only; HW-gated on this guest)
set -e
cd "$(dirname "$0")"
./harness
echo "RUN_EXIT=$?"