#!/bin/sh
# Run the DF-0807 deterministic harness.
set -e
cd "$(dirname "$0")"
echo "+ ./harness"
./harness
echo "RUN_EXIT=$?"