#!/bin/sh
# DF-1091 run.sh
set +e
cd "$(dirname "$0")"
echo "=== verify.sh (static source checks) ==="
sh verify.sh
echo
echo "=== df1091_harness (unpatched algorithm) ==="
./df1091_harness
echo
echo "=== df1091_harness_fix (patched algorithm) ==="
./df1091_harness_fix
echo "RUN_EXIT=$?"