#!/bin/sh
# DF-2552 run script — runs the arithmetic-proof PoC (non-destructive).
set -e
cd "$(dirname "$0")"

echo "=== Running arithmetic proof ==="
./arith_proof
echo "RUN_EXIT=$?"