#!/usr/bin/env bash
set -euo pipefail

repo_root="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd -P)"
cd "$repo_root"

julia --project=. src/julia/validate_convergent.jl
julia --project=. src/julia/validate_uncertainty.jl
julia --project=. src/julia/validate_construct.jl
