#!/bin/bash
# Local environment: Python >= 3.9 with pinned packages (requirements.txt pins the laptop versions; cluster nodes used NumPy 2.0.2 under 3.9).
set -e
cd "$(dirname "$0")/.."
python3 -m pip install -r requirements.txt
python3 -m pytest -q
python3 theory/symbolic_checks.py | tail -1