#!/bin/sh
# DF-0861 run: execute the deterministic harness.
cd "$(dirname "$0")"
./harness
echo "RUN_EXIT=$?"