#!/bin/sh
# Checks the verifier against areas found another way, then proves the bound; results land in results/.
set -eu
python code/test_verify.py
python code/verify.py