#!/bin/sh
# DF-0612 harness run.  Prints the OOB-write proof and the FIXED-function
# rejection.  Exit 0 on success.
set -e
HERE=$(dirname "$0")
case "$HERE" in
  /*) ABSDIR="$HERE" ;;
  *)  ABSDIR="$(pwd)/$HERE" ;;
esac
sh "$ABSDIR/build.sh" >/dev/null 2>&1 || true
cd /root/df0612
./harness