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